文件名称:一般表示式的合一算法2
介绍说明--下载内容均来自于网络,请自行研究使用
实现了一般表达式的合一算法(采用最一般合一求取方法)-achieve a general expression of unity algorithm (to use the most general strike Ecumenical methods)
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 57578889一般表示式的合一算法2.rar 列表 一般表示式的合一算法2.cpp