查看会员资料
用 户 名：zhan*****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
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.