手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
微机证明系统的设计与实现
在微机上用PASCAL语言实现的命题演绎机器证明系统为背景,说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题(谓词)证明系统提供了具有参考价值的意见。
0 13
手机阅读本文
下载APP 手机查看本文
重庆邮电学院学报
1999年04期

搜 索