搜索：外观选别机 - 虫虫下载站

人工智能/神经网络  基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

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

https://www.eeworm.com/dl/650/126259.html

下载: 89

查看: 1347

Java编程  状态机设计源代码

状态机设计源代码

https://www.eeworm.com/dl/633/126321.html

下载: 174

查看: 1082

串口编程  C++Builde上位机测试程序

C++Builde上位机测试程序

https://www.eeworm.com/dl/624/126460.html

下载: 142

查看: 1032

单片机开发  用VC++6.0实现PC机与单片机之间的数据交换

用VC++6.0实现PC机与单片机之间的数据交换

https://www.eeworm.com/dl/648/126826.html

下载: 170

查看: 1063

编译器/解释器  一个小巧而且实现很完整的JAVA虚拟机

一个小巧而且实现很完整的JAVA虚拟机

https://www.eeworm.com/dl/628/126998.html

下载: 74

查看: 1059

企业管理  软件类型: 进销存（源代码）数据库: ADO语言: VB6+ADO级别: 简单备注:软件工程课程设计。希望能够给你带来学习上的帮助

软件类型: 进销存（源代码）数据库: ADO语言: VB6+ADO级别: 简单备注:软件工程课程设计。希望能够给你带来学习上的帮助

https://www.eeworm.com/dl/632/127222.html

下载: 113

查看: 1058

压缩解压  flshget v1.65中文版注册机源代码

flshget v1.65中文版注册机源代码

https://www.eeworm.com/dl/617/127371.html

下载: 134

查看: 1036

数学计算  线性代数方程组的求解全选主元高斯消去法全选主元高斯约当消去法复系数方程组的全选主元高斯消去法

线性代数方程组的求解全选主元高斯消去法全选主元高斯约当消去法复系数方程组的全选主元高斯消去法

https://www.eeworm.com/dl/641/127400.html

下载: 179

查看: 1075

数学计算  矩阵运算实矩阵相乘复矩阵相乘实矩阵求逆的全选主元高斯约当法

矩阵运算实矩阵相乘复矩阵相乘实矩阵求逆的全选主元高斯约当法

https://www.eeworm.com/dl/641/127403.html

下载: 182

查看: 1095

通讯/手机编程  modbustcp客户端测试程序,用来模拟上位机软件,对产用modbustcp协议的设备进行测试

modbustcp客户端测试程序,用来模拟上位机软件,对产用modbustcp协议的设备进行测试

https://www.eeworm.com/dl/527/127452.html

下载: 179

查看: 2604

搜索结果