基于谓词逻辑的原型系统生成方法研究

PDF(859 KB)

电子学报 ›› 2011, Vol. 39 ›› Issue (5) : 1077-1081.

基于谓词逻辑的原型系统生成方法研究

作者信息 +

Study on Prototype System Generation Method Based on Predicate Logic

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2011, 39(5): 1077-1081.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2011, 39(5): 1077-1081.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(859 KB)

Accesses

Citation

Detail

国家863重点项目(No.2009AA010314);国家自然科学基金 (No.60973041)

段落导航