文件名称:MostGeneralUnifierAndRobinson
- 所属分类：
- JSP源码/Java
- 资源属性：
- [Java] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 9kb
- 下载次数：
- 0次
- 提 供 者：
- 王*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
最一般合一和鲁滨逊归结原理的实现源码，开发语言为Java，可以分析多个公式的合一和归结-Robinson attributed the most general principles of unity and the realization of source code, the programming language was Java, can be analyzed and summarized a number-one formula
(系统自动生成,下载前可以参看下载内容)
下载文件列表
src\cn\dlut\edu\wang\mgu\Function.java
...\..\....\...\....\...\FunctionComparer.java
...\..\....\...\....\...\FunctionSet.java
...\..\....\...\....\...\Main.java
...\..\....\...\....\...\MostGeneralUnifier.java
...\..\....\...\....\...\Substitution.java
...\..\....\...\....\...\SubstitutionSet.java
...\..\....\...\....\robinson\Clause.java
...\..\....\...\....\........\ClauseSet.java
...\..\....\...\....\........\Resolution.java
...\..\....\...\....\mgu
...\..\....\...\....\robinson
...\..\....\...\wang
...\..\....\edu
...\..\dlut
...\cn
src
...\..\....\...\....\...\FunctionComparer.java
...\..\....\...\....\...\FunctionSet.java
...\..\....\...\....\...\Main.java
...\..\....\...\....\...\MostGeneralUnifier.java
...\..\....\...\....\...\Substitution.java
...\..\....\...\....\...\SubstitutionSet.java
...\..\....\...\....\robinson\Clause.java
...\..\....\...\....\........\ClauseSet.java
...\..\....\...\....\........\Resolution.java
...\..\....\...\....\mgu
...\..\....\...\....\robinson
...\..\....\...\wang
...\..\....\edu
...\..\dlut
...\cn
src