CMM提问单 pdf文档
标签： CMM 文档
上传时间： 2013-12-16
上传用户：chens000
数码显示实验.zip
标签： zip 数码显示 实验
上传时间： 2015-03-07
上传用户：PresidentHuang
研华单通道ad采集程序
标签： 研华 单通道 采集 程序
上传时间： 2014-09-09
上传用户：tzl1975
单手PC键盘(at90s8515)
标签： s8515 8515 90s at
上传时间： 2015-03-08
上传用户：小码农lz
51单片击串口中断接收程序
标签： 串口中断 接收程序
上传时间： 2013-12-25
上传用户：evil
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
一套仿ChinaRen的即可用电脑浏览又可以用手机访问的互动同学录单班级系统，打上了SP1，包含去除验证补丁
标签： ChinaRen 电脑 手机 同学录
上传时间： 2013-12-21
上传用户：shinesyh
八数码难题用vc++编写
标签： vc 数码 编写
上传时间： 2014-01-19
上传用户：kikye
C51的4×3键盘、LED数码显示、串行通讯
标签： C51 LED 键盘 数码显示
上传时间： 2015-03-10
上传用户：yzy6007
八数码难题解决实现方法
标签： 数码 实现方法
上传时间： 2013-12-01
上传用户：refent
