自动测试csp的程序,我编写的工具,自动测试25个函数,很好用!
标签: csp 自动测试 程序
上传时间: 2014-06-21
上传用户:海陆空653
自动递归删除文件的工具程序
标签: 自动 删除 程序 递归
上传时间: 2013-12-26
上传用户:gundan
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。
标签: 自动 机器学习 推理机 程序
上传时间: 2013-11-30
上传用户:GavinNeko
文件自动解压缩程序
标签: 自动 程序 解压
上传时间: 2015-03-09
上传用户:rocwangdp
VB程序员考核自动阅卷系统的设计与实现
标签: VB程序 自动 阅卷系统
上传时间: 2015-03-10
上传用户:541657925
语音自动应答系统的实现
标签: 语音 自动应答
上传用户:thuyenvinh
计算机管理系统可以实现开机时自动运行,用户只有登陆以后才能进入计算机,可以自动记录用户登陆时间注销时间,及登陆总时间
标签: 计算机管理系统 开机 自动 运行
上传时间: 2013-12-28
上传用户:3到15
程控交换机电话自动计费软件,开发环境PB,无密码
标签: 程控交换机 电话 自动 计费
上传用户:lhc9102
电话超市管理,利用C++BUILDER开发的一款管理电话超市的软件,有服务端和用户端,管理超市里电话开通及通话时间,并有自动计费功能~
标签: BUILDER 电话 服务端 用户
上传时间: 2013-12-19
上传用户:时代电子小智
doxygen(一个自动从源代码生成文档的工具)的源代码,可以在Win32/Linux/Unix上编译通过。
标签: doxygen 源代码 自动 文档
上传时间: 2014-12-04
上传用户:缥缈