资源列表
[其它资源] mmc-sd_board_examples
说明:mmc/sd卡的实现源码,包括汇编语言,c语言及PASCAL语言的测试代码-mmc / sd card to achieve source, including assembly language, c PASCAL language and the language test code<ashang> 在 2008-10-13 上传 | 大小:509.68kb | 下载:0
[其它资源] 迷你扫雷完整程序+源代码
说明:一个用Delphi写的扫雷程序源码-this is a procedure source of mine by delphi!<lily> 在 2008-10-13 上传 | 大小:509.4kb | 下载:0
[其它资源] Autologic
说明:基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve<陈运文> 在 2008-10-13 上传 | 大小:509.63kb | 下载:0