基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，...
石机技术资料
📦 资源总数：7064
💻 源代码：11623
📚 石机全部资料 (7064个)
状态机设计源代码
状态机设计源代码...
C++Builde上位机测试程序
C++Builde上位机测试程序...
用VC++6.0实现PC机与单片机之间的数据交换
用VC++6.0实现PC机与单片机之间的数据交换...
一个小巧而且实现很完整的JAVA虚拟机
一个小巧而且实现很完整的JAVA虚拟机...
flshget v1.65中文版注册机源代码
flshget v1.65中文版注册机源代码...
modbustcp客户端测试程序,用来模拟上位机软件,对产用modbustcp协议的设备进行测试
modbustcp客户端测试程序,用来模拟上位机软件,对产用modbustcp协议的设备进行测试...
本方案适用于研究生、本科、大专、职业技术学院的嵌入式系统（单片机/ARM7） 应用、信息通信、应用电子、机电一体化、微机应用、数控技术、自动化控制、计 算机原理与应用、仪表及控制、汽车工程等与“电子/
本方案适用于研究生、本科、大专、职业技术学院的嵌入式系统（单片机/ARM7） 应用、信息通信、应用电子、机电一体化、微机应用、数控技术、自动化控制、计 算机原理与应用、仪表及控制、汽车工程等与“电子/...
电子充值系统:全球通的充值卡通过POS机传到销售点.
电子充值系统:全球通的充值卡通过POS机传到销售点....
自己写的木马绑定机
自己写的木马绑定机，实现了基本的原理，有些细节上的东西处理得不是很好。还有，我认为必需写个文件存储a和b程序的字节数。不晓得高手门是不是这样做的？请多多指教。...