基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
VB程序员考核自动阅卷系统的设计与实现
上传时间： 2015-03-10
上传用户：541657925
语音自动应答系统的实现
上传时间： 2015-03-10
上传用户：thuyenvinh
计算机管理系统可以实现开机时自动运行，用户只有登陆以后才能进入计算机，可以自动记录用户登陆时间注销时间，及登陆总时间
上传时间： 2013-12-28
上传用户：3到15
ASFR+是在ASFRecorder的基础上的改进版本,它可以: ◇支持中文文件名. ◇多线程下载ASF文件. ◇断点续传,自动重试. ◇支持MMS(TCP)协议和HTTP协议(自动探测). ◇在下载时修正数据,确保100%与原文件相同.
标签： ASFRecorder ASFR HTTP ASF
上传时间： 2015-03-11
上传用户：xg262122
家电自动控制系统，定时开关，采用遥控器，按键操作，中文12864液晶示，
上传时间： 2014-01-23
上传用户：1159797854
该系统为空车计量系统.完成对空车的自动计量.附串口处理程序.
上传时间： 2013-12-31
上传用户：GavinNeko
办公室小车管理系统,能自动打印派车单,自动统计小车的出车里程\耗油等.
上传时间： 2013-12-26
上传用户：风之骄子
煤炭销售管理系统.完成煤炭销售的日常管理工作,和重车计量系统\空车计量系统配合使用.
上传时间： 2015-03-13
上传用户：1101055045
电子皮带秤计量管理系统.完成电子皮带秤的自动计量工作,和销售管理系统配合使用更佳.
上传时间： 2014-01-03
上传用户：康郎
