首页 / 资料库 / 文献详情
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
何星星、徐扬、李莹芳、LIU Zheng jun
2012东华大学学报：英文版Computer Science被引 1
摘要
该文献暂无收录摘要。
引用本文（GB/T 7714）
何星星, 徐扬, 李莹芳, 等. α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）[J]. 东华大学学报：英文版, 2012.
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。