搜索资源列表
MostGeneralUnifierAndRobinson
- 最一般合一和鲁滨逊归结原理的实现源码,开发语言为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