实现一般表示式的合一算法

【文件属性】：
文件名称：实现一般表示式的合一算法
文件大小：6KB
文件格式：RAR
更新时间：2011-07-31 16:43:26
程序设计 人工智能 实现一般表示式的合一算法（分别用C++和Java实现）

【文件预览】：
实现一般表示式的合一算法
----logicop.rar(4KB)
----一般表示式的合一算法.rar(1KB)