搜索资源列表
Wang_Hao
- VC++实现图形化界面的王浩算法。王浩算法用来进行定理的自动证明。-VC++ Achieve the graphical interface of the Wang algorithm. Wang algorithm used to automatically prove theorems.
abs
- 使用王浩算法实现了命题逻辑的推理，是计算机实现自动推理的很好例子。-this is a very good example.
wanghaosuanfa
- 王浩算法的C实现，对输入的逻辑式，可以输出王浩算法的推理过程和所用的定理号。-Wang Hao algorithm C implementation, the input logical form, can output Wang Hao algorithm for the inference process and the used by the theorem.
wanghao-algorithm-
- 人工智能课程实验，C语言实现王浩算法，带有代码运行说明。-Artificial Intelligence course experiment, C language algorithms Hao, with code running instructions.