微机证明系统的设计与实现
Design and Accomplishment of Micro computer Proof System作者机构：610041 华西医科大学计算中心!成都
出 版 物：《重庆邮电大学学报(自然科学版)》 (Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition))
年 卷 期：1999年第4期
页 面：27-29+64页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景，说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价值的意见。
同方期刊数据库