自己做的一个C消解程序,默认变量为x,z,w,其余的全部为常量,可用常量替换上述的变量
2019-12-21 22:01:57 10KB 人工智能 编译原理 消解原理 AI
1
消解原理实现有界面,实现子句消解功能C++实现MFC做的界面,具体过程可以参考个人博客。
2019-12-21 19:54:32 13.64MB 消解原理 子句消解 C++
1
消解原理的代码实现,并有源码和说明文档。
2019-12-21 19:54:32 465KB 人工智能 消解原理
1