基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
一个最短路的c实现，比较完美
标签： 短路
上传时间： 2014-01-05
上传用户：AbuGe
一个非常好的公式解析控件，没见过比这好的，支持自定义变量。为了上此站，才第一次拿出来
标签： 控件
上传时间： 2014-01-19
上传用户：zyt
Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架，用Java编写，为Java开发者而设计
标签： Rakiura JFern Petri 轻型
上传时间： 2014-01-14
上传用户：xfbs821
输入一个任意大小的迷宫， 用栈求出一条走出迷宫的路径， 并显示在屏幕上。
标签： 输入 迷宫
上传时间： 2013-12-23
上传用户：zsjinju
一个基于智能的检测工具，功能比较完善而且方便实用。
标签： 检测
上传时间： 2014-11-22
上传用户：熊少锋
这是一个很实用的求积分算法，自适应算法是一种很有前途的算法，特为其发展贡献绵薄之力。
标签： 积分算法
上传时间： 2014-01-06
上传用户：zhliu007
是一个很好的java基础编程源程序，教我们好何用JAVA来做计算器
标签： java 编程 源程序
上传时间： 2014-01-12
上传用户：小儒尼尼奥
这是一个网友编的java彩票源代码，包括
标签： java 源代码
上传时间： 2014-01-16
上传用户：zhoujunzhen
这是用VB做的一个很完善的图书管理系统，使用之前很先解压。
标签： 图书管理
上传时间： 2013-12-14
上传用户：semi1981
