基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
文件自动解压缩程序
上传时间： 2015-03-09
上传用户：rocwangdp
VB程序员考核自动阅卷系统的设计与实现
上传时间： 2015-03-10
上传用户：541657925
语音自动应答系统的实现
上传时间： 2015-03-10
上传用户：thuyenvinh
计算机管理系统可以实现开机时自动运行，用户只有登陆以后才能进入计算机，可以自动记录用户登陆时间注销时间，及登陆总时间
上传时间： 2013-12-28
上传用户：3到15
程控交换机电话自动计费软件，开发环境PB，无密码
上传时间： 2015-03-10
上传用户：lhc9102
电话超市管理,利用C++BUILDER开发的一款管理电话超市的软件,有服务端和用户端,管理超市里电话开通及通话时间,并有自动计费功能~
上传时间： 2013-12-19
上传用户：时代电子小智
doxygen(一个自动从源代码生成文档的工具)的源代码，可以在Win32/Linux/Unix上编译通过。
上传时间： 2014-12-04
上传用户：缥缈
汉字字模提取程序,自动生成C语言字库,自己编写的,有用的着的可以用一下,需要UCDOS的字库
上传时间： 2015-03-11
上传用户：zsjzc
ASFR+是在ASFRecorder的基础上的改进版本,它可以: ◇支持中文文件名. ◇多线程下载ASF文件. ◇断点续传,自动重试. ◇支持MMS(TCP)协议和HTTP协议(自动探测). ◇在下载时修正数据,确保100%与原文件相同.
标签： ASFRecorder ASFR HTTP ASF
上传时间： 2015-03-11
上传用户：xg262122
