[其它资源] Autologic

说明：基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed
<陈运文> 在 2008-10-13 上传 | 大小：509.63kb | 下载：0

[其它资源] quadtree

说明：quadtree四叉树的建立-quadtree Quadtree the establishment
<区量> 在 2008-10-13 上传 | 大小：1.33kb | 下载：0

[其它资源] 006BigNumCaculation

说明：64位数的计算，是科学计算类的-64 median is calculated kind of scientific computing
<柴永> 在 2008-10-13 上传 | 大小：11.03kb | 下载：0

[其它资源] adecode

说明：图象压缩的编码由无文件头的BMP压缩成JPEG-source codes of image compression from no header BMP to JPEG
<梁宏程> 在 2008-10-13 上传 | 大小：4.27kb | 下载：0

[其它资源] pluie

说明：条形码生成软件，根据用户输入自动检索产生条形码图像-Barcode generation program. It can automatically generate barcode according to user s input.
<陈运文> 在 2008-10-13 上传 | 大小：69.5kb | 下载：0

[其它资源] afxle

说明：有关DSP进程及其线程的代码-the DSP process and threaded code
<梁宏程> 在 2008-10-13 上传 | 大小：16.25kb | 下载：0

[其它资源] server-mu

说明：这是我自己编写的模拟奇迹服务端的login做的程序，但不是最完整的~大家可以作为参考~其实服务端的编写并不难（注意，由于时间问题,我采取了最懒的编写方式）-This was my miracle simulation prepared by the services side of the login procedure done, but not the most complete ~ we can as a reference to
<苏晟晖> 在 2008-10-13 上传 | 大小：9.54kb | 下载：0

[其它资源] 建行源代码

说明：建行源代码.rar-CCB source code. Rar
<胡金巾> 在 2008-10-13 上传 | 大小：826.64kb | 下载：0

[其它资源] 液晶模块12864中文次料

说明：液晶模块12864中文次料-LCD module times expected 12,864 Chinese
<张金博> 在 2008-10-13 上传 | 大小：906.73kb | 下载：0

[其它资源] P89c5x中文

说明：P89c5x中文数据手册-P89c5x Chinese manual data
<张金博> 在 2008-10-13 上传 | 大小：528.69kb | 下载：0

[其它资源] G.72音频压缩传输协议

说明：G.72音频压缩传输协议-G.72 audio compression and transmission agreement
<张金博> 在 2008-10-13 上传 | 大小：200.99kb | 下载：0

[其它资源] I2C源码

说明：I2C总线程序，及读写24C04-I2C bus procedures, and writing 24C04
<哈哈> 在 2008-10-13 上传 | 大小：2.07kb | 下载：0