基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
文件自动解压缩程序
标签： 自动 程序 解压
上传时间： 2015-03-09
上传用户：rocwangdp
linux下字符设备的驱动程序.2.4 内核通过
标签： linux 2.4 字符 内核
上传用户：stewart·
将网络设备列表的程序
标签： 网络设备 程序
上传时间： 2014-12-02
上传用户：wfeel
VxWorks设备驱动编写和移植指南
标签： VxWorks 设备驱动 编写 移植
上传时间： 2013-12-23
上传用户：thinode
毕业论文：J2ME在移动设备上的应用
标签： J2ME 毕业论文 移动设备
上传时间： 2014-02-16
上传用户：hfmm633
VB程序员考核自动阅卷系统的设计与实现
标签： VB程序 自动 阅卷系统
上传时间： 2015-03-10
上传用户：541657925
语音自动应答系统的实现
标签： 语音 自动应答
上传用户：thuyenvinh
介绍linux下文件和设备编程
标签： linux 设备 编程
上传用户：shawvi
计算机管理系统可以实现开机时自动运行，用户只有登陆以后才能进入计算机，可以自动记录用户登陆时间注销时间，及登陆总时间
标签： 计算机管理系统 开机 自动 运行
上传时间： 2013-12-28
上传用户：3到15
