资源列表
[其它资源] 数值计算方法上机报告
说明:大家放心,无需解密 -our confidence, without decryption our confidence, without decryption<古辉> 在 2008-10-13 上传 | 大小:122.38kb | 下载:0
[其它资源] 计算方法Lagrange插值
说明:大家放心,无需解密 -our confidence, without decryption our confidence, without decryption<古辉> 在 2008-10-13 上传 | 大小:59.77kb | 下载:0
[其它资源] 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