wanghaosuanfa
所属分类:数据结构
开发工具:Visual C++
文件大小:348KB
下载次数:10
上传日期:2012-04-20 22:16:42
上 传 者:
zhangsongtt
说明: 王浩算法的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.)
文件列表:
wanghaosuanfa\1.cpp (16009, 2011-07-15)
wanghaosuanfa\1.dsp (3341, 2011-07-23)
wanghaosuanfa\1.dsw (508, 2011-07-23)
wanghaosuanfa\1.ncb (50176, 2011-07-23)
wanghaosuanfa\1.opt (48640, 2011-12-02)
wanghaosuanfa\1.plg (236, 2011-07-23)
wanghaosuanfa\Debug\1.exe (184365, 2011-07-15)
wanghaosuanfa\Debug\1.ilk (267804, 2011-07-15)
wanghaosuanfa\Debug\1.obj (23668, 2011-07-15)
wanghaosuanfa\Debug\1.pch (220236, 2011-07-11)
wanghaosuanfa\Debug\1.pdb (476160, 2011-07-15)
wanghaosuanfa\Debug\vc60.idb (41984, 2011-07-23)
wanghaosuanfa\Debug\vc60.pdb (53248, 2011-07-15)
wanghaosuanfa\Debug\wanghaosuanfa.exe (196665, 2011-12-02)
wanghaosuanfa\Debug\wanghaosuanfa.ilk (188968, 2011-12-02)
wanghaosuanfa\Debug\wanghaosuanfa.pdb (377856, 2011-12-02)
wanghaosuanfa\wanghaosuanfa.dsp (4356, 2011-07-03)
wanghaosuanfa\wanghaosuanfa.dsw (532, 2011-07-03)
wanghaosuanfa\wanghaosuanfa.ncb (33792, 2011-07-03)
wanghaosuanfa\wanghaosuanfa.opt (48640, 2011-12-05)
wanghaosuanfa\wanghaosuanfa.plg (916, 2011-12-02)
wanghaosuanfa\Debug (0, 2011-12-02)
wanghaosuanfa (0, 2011-12-05)
近期下载者:
相关文件:
收藏者: