资源列表
[其它资源] volumecalc
说明:计算多面体体积的程序源代码-calculating polygon volume of source code<陈龙> 在 2008-10-13 上传 | 大小:118.01kb | 下载: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
[其它资源] 006BigNumCaculation
说明:64位数的计算,是科学计算类的-64 median is calculated kind of scientific computing<柴永> 在 2008-10-13 上传 | 大小:11.03kb | 下载: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 the fact the server is not di<苏晟晖> 在 2008-10-13 上传 | 大小:9.54kb | 下载:0
[其它资源] 液晶模块12864中文次料
说明:液晶模块12864中文次料-LCD module times expected 12,864 Chinese<张金博> 在 2008-10-13 上传 | 大小:906.73kb | 下载:0