Description: Wang Hao algorithm C implementation, the input logical form, can output Wang Hao algorithm for the inference process and the used by the theorem.
To Search:
File list (Check if you may need any files):
wanghaosuanfa\1.cpp
.............\1.dsp
.............\1.dsw
.............\1.ncb
.............\1.opt
.............\1.plg
.............\Debug\1.exe
.............\.....\1.ilk
.............\.....\1.obj
.............\.....\1.pch
.............\.....\1.pdb
.............\.....\vc60.idb
.............\.....\vc60.pdb
.............\.....\wanghaosuanfa.exe
.............\.....\wanghaosuanfa.ilk
.............\.....\wanghaosuanfa.pdb
.............\wanghaosuanfa.dsp
.............\wanghaosuanfa.dsw
.............\wanghaosuanfa.ncb
.............\wanghaosuanfa.opt
.............\wanghaosuanfa.plg
.............\Debug
wanghaosuanfa
Download