基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
状态机设计源代码
上传时间： 2015-03-09
上传用户：Late_Li
C++Builde上位机测试程序
上传时间： 2015-03-09
上传用户：zq70996813
用VC++6.0实现PC机与单片机之间的数据交换
上传时间： 2015-03-10
上传用户：Breathe0125
一个小巧而且实现很完整的JAVA虚拟机
上传时间： 2015-03-10
上传用户：无聊来刷下
软件类型: 进销存（源代码）数 据 库: ADO语 言: VB6+ADO级 别: 简单备 注:软件工程课程设计。希望能够给你带来学习上的帮助
上传时间： 2014-01-15
上传用户：wuyuying
flshget v1.65中文版注册机源代码
上传时间： 2014-01-01
上传用户：离殇
modbustcp客户端测试程序,用来模拟上位机软件,对产用modbustcp协议的设备进行测试
上传时间： 2015-03-12
上传用户：luke5347
本方案适用于研究生、本科、大专、职业技术学院的嵌入式系统（单片机/ARM7） 应用、信息通信、应用电子、机电一体化、微机应用、数控技术、自动化控制、计 算机原理与应用、仪表及控制、汽车工程等与“电子/微机/总线”有紧密联系的相关 专业。
上传时间： 2013-12-01
上传用户：nanxia
电子充值系统:全球通的充值卡通过POS机传到销售点.
上传时间： 2014-11-28
上传用户：wab1981
