计算机与定理证明
出处
《自动化博览》
1994年第2期19-21,共3页
Automation Panorama1
-
1何运,陈进才.自动化定理证明的发展与现状[J].西安公路学院学报,1989,7(2):16-30.
-
2刘晓华.定理证明在故障自动诊断领域的应用[J].山东工业大学学报,1990,20(1):68-74.
-
3李鹏,曾绍良.定理证明自动化的实现[J].北京市经济管理干部学院学报,2005,20(3):61-64.
-
4杨学枝.对《一个有趣的和积互换公式》一文的异见[J].数学通讯（教师阅读）,2010(11):35-35. 被引量：2
-
5吕建国.前件推导及其计算机实现[J].计算机研究与发展,1989,26(9):5-11. 被引量：1
-
6刘建军.浅谈人工智能应用[J].现代工业经济和信息化,2013,3(14):74-75. 被引量：5
-
7侯建民,李宣东,郑国梁.实时系统软件开发过程中形式方法的作用[J].计算机应用与软件,2002,19(4):23-26. 被引量：2
-
8范平,梁家荣,李天志.Vague集的新模糊熵[J].计算机工程与应用,2007,43(13):179-181. 被引量：34
-
9崔继,周竹荣.基于Z规格的答疑系统的标准检查[J].西南大学学报（自然科学版）,2007,29(11):133-137. 被引量：1
-
10吴瑕,于海鸿,李泽海,李河,孙佳瑜.关系扩展规则[J].吉林大学学报（理学版）,2008,46(3):504-508. 被引量：1
;
