基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。 ...
/dl/126259.html
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
状态机设计源代码
/dl/126321.html
标签： 状态 源代码
上传时间： 2015-03-09
上传用户：Late_Li
C++Builde上位机测试程序
/dl/126460.html
标签： Builde 上位机 测试程序
上传用户：zq70996813
用VC++6.0实现PC机与单片机之间的数据交换
/dl/126826.html
标签： 6.0 VC PC机与单片机 数据交换
上传时间： 2015-03-10
上传用户：Breathe0125
一个小巧而且实现很完整的JAVA虚拟机
/dl/126998.html
标签： JAVA 虚拟机
上传用户：无聊来刷下
linux文本方式下的外挂中文环境,很好用,有源码.功能很全.我都用它
/dl/127282.html
标签： linux 方式 环境 有源
上传时间： 2015-03-11
上传用户：yxgi5
继续刚才的部分上传，希望大家喜欢，资料共享
/dl/127283.html
标签： 分
上传时间： 2014-01-02
上传用户：123啊
ASFR+是在ASFRecorder的基础上的改进版本,它可以: ◇支持中文文件名. ◇多线程下载ASF文件. ◇断点续传,自动重试. ◇支持MMS(TCP)协议和HTTP协议(自动探测). ◇在下载时修正数据,确保100%与原文件相同.
/dl/127344.html
标签： ASFRecorder ASFR HTTP ASF
上传用户：xg262122
flshget v1.65中文版注册机源代码
/dl/127371.html
标签： flshget 1.65 注册机 源代码
上传时间： 2014-01-01
上传用户：离殇
<JSP应用开发详解>第十章 在不同页面或用户之间共享数据 在JSP中操作文件、上传文件 的代码
/dl/127427.html
标签： JSP lt gt 应用开发
上传时间： 2014-01-25
上传用户：ywqaxiwang
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机
