D2S证据推理

D2S证据推理技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

D2S证据推理 热门资料

查看全部 500 份 →

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛...

2013-11-30 89 D2S证据推理

本文从理论上推导出CRC 算法实现原理，给出三种分别适应不同计算机或微控 制器硬件环境的C 语言程序。读者更能根据本算法原理，用不同的语言编写出独特风格 更加实用的CRC 计算程序。

2015-09-13 95 D2S证据推理

本文从理论上推导出CRC 算法实现原理，给出三种分别适应不同计算机或微控制器硬件环境的C 语言程序。读者更能根据本算法原理，用不同的语言编写出独特风格更加实用的CRC 计算程序。

2013-12-25 176 D2S证据推理

本文从理论上推导出CRC 算法实现原理，给出三种分别适应不同计算机或微控制器硬件环境的C 语言程序。读者更能根据本算法原理，用不同的语言编写出独特风格更加实用的CRC 计算程序。

2013-12-19 71 D2S证据推理