基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
有关DSP进程及其线程的代码
标签： DSP 进程 线程 代码
上传时间： 2015-03-09
上传用户：gaojiao1999
系统分析员论文样例——论建立企业内部网INTRANET的策略
标签： INTRANET 系统分析 策略 论文
上传时间： 2014-01-11
上传用户：gundamwzc
Linux下的多线程编程
标签： Linux 多线程编程
上传时间： 2014-01-03
上传用户：c12228
非Applet的java电子时钟与秒表小程序 包括多线程控制与界面切换
标签： Applet java 电子时钟 多线程
上传时间： 2015-03-10
上传用户：jjj0202
小程序中动画及音乐多线程的应用
标签： 程序 动画 多线程
上传用户：wys0120
本银行系统涉及到多线程，Socket编程，和Singleton设计模式。源玛注释齐全，有说明文档，并附开发过程的UML设计图。仅供学习参考，望多多指教。
标签： 多线程
上传用户：dianxin61
走迷宫的程序，用JAVA编写的
标签： 走迷宫 程序
上传时间： 2014-10-29
上传用户：sunjet
实现多线程串行通讯接口源程序
标签： 多线程 串行通讯 接口 源程序
上传用户：qlpqlq
一款电场线的教学软件可以自定义电荷多少，大小，位置等
标签： 电场 教学软件 自定义 电荷
上传时间： 2014-01-15
上传用户：1966640071
