计算机人工智能 归结原理 为此逻辑 子句集

[{"title":"（ 64 个子文件 1.88MB ） 计算机人工智能 归结原理 为此逻辑 子句集","children":[{"title":"谓词逻辑归结原理演示","children":[{"title":"子句集的求取","children":[{"title":"源码","children":[{"title":"ChildSenSet","children":[{"title":"main.cpp <span style='color:#111;'> 1.13KB </span>","children":null,"spread":false},{"title":"Pred.h <span style='color:#111;'> 279B </span>","children":null,"spread":false},{"title":"main.plg <span style='color:#111;'> 3.19KB </span>","children":null,"spread":false},{"title":"Pred.cpp <span style='color:#111;'> 841B </span>","children":null,"spread":false},{"title":"main.dsp <span style='color:#111;'> 3.30KB </span>","children":null,"spread":false},{"title":"ChildSenSet.opt <span style='color:#111;'> 55.50KB </span>","children":null,"spread":false},{"title":"PreFormula.cpp <span style='color:#111;'> 27.20KB </span>","children":null,"spread":false},{"title":"Result.txt <span style='color:#111;'> 2.00KB </span>","children":null,"spread":false},{"title":"Debug","children":[{"title":"main.pch <span style='color:#111;'> 2.42MB </span>","children":null,"spread":false},{"title":"vc60.pdb <span style='color:#111;'> 132.00KB </span>","children":null,"spread":false},{"title":"vc60.idb <span style='color:#111;'> 81.00KB </span>","children":null,"spread":false},{"title":"main.obj <span style='color:#111;'> 232.28KB </span>","children":null,"spread":false}],"spread":true},{"title":"PreFormula.h <span style='color:#111;'> 1.32KB </span>","children":null,"spread":false},{"title":"ChildSenSet.dsp <span style='color:#111;'> 4.66KB </span>","children":null,"spread":false},{"title":"main.dsw <span style='color:#111;'> 533B </span>","children":null,"spread":false},{"title":"Sentence.txt <span style='color:#111;'> 139B </span>","children":null,"spread":false},{"title":"main.ncb <span style='color:#111;'> 33.00KB </span>","children":null,"spread":false},{"title":"ChildSenSet.dsw <span style='color:#111;'> 545B </span>","children":null,"spread":false},{"title":"ChildSenSet.ncb <span style='color:#111;'> 73.00KB </span>","children":null,"spread":false},{"title":"main.opt <span style='color:#111;'> 47.50KB </span>","children":null,"spread":false},{"title":"Common.h <span style='color:#111;'> 180B </span>","children":null,"spread":false},{"title":"ChildSenSet.plg <span style='color:#111;'> 943B </span>","children":null,"spread":false}],"spread":false}],"spread":true},{"title":"应用程序及其使用说明","children":[{"title":"应用手册.txt <span style='color:#111;'> 1.15KB </span>","children":null,"spread":false},{"title":"Result.txt <span style='color:#111;'> 3.33KB </span>","children":null,"spread":false},{"title":"Sentence.txt <span style='color:#111;'> 214B </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"linear_new","children":[{"title":"linear","children":[{"title":"main.cpp <span style='color:#111;'> 1.19KB </span>","children":null,"spread":false},{"title":"Delete.cpp <span style='color:#111;'> 3.04KB </span>","children":null,"spread":false},{"title":"Linear.dsw <span style='color:#111;'> 537B </span>","children":null,"spread":false},{"title":"Linear.ncb <span style='color:#111;'> 249.00KB </span>","children":null,"spread":false},{"title":"resource.h <span style='color:#111;'> 456B </span>","children":null,"spread":false},{"title":"stdafx.h <span style='color:#111;'> 837B </span>","children":null,"spread":false},{"title":"DisposeInside.cpp <span style='color:#111;'> 3.00KB </span>","children":null,"spread":false},{"title":"Linear.opt <span style='color:#111;'> 55.50KB </span>","children":null,"spread":false},{"title":"Arithmethic.cpp <span style='color:#111;'> 14.57KB </span>","children":null,"spread":false},{"title":"Linear.dsp <span style='color:#111;'> 4.76KB </span>","children":null,"spread":false},{"title":"Delete.h <span style='color:#111;'> 313B </span>","children":null,"spread":false},{"title":"LinkList.cpp <span style='color:#111;'> 21B </span>","children":null,"spread":false},{"title":"Debug","children":[{"title":"vc60.pdb <span style='color:#111;'> 92.00KB </span>","children":null,"spread":false},{"title":"LinkList.obj <span style='color:#111;'> 11.19KB </span>","children":null,"spread":false},{"title":"Linear.ilk <span style='color:#111;'> 266.02KB </span>","children":null,"spread":false},{"title":"stdafx.obj <span style='color:#111;'> 11.17KB </span>","children":null,"spread":false},{"title":"vc60.idb <span style='color:#111;'> 193.00KB </span>","children":null,"spread":false},{"title":"DisposeInside.obj <span style='color:#111;'> 24.40KB </span>","children":null,"spread":false},{"title":"Delete.obj <span style='color:#111;'> 19.70KB </span>","children":null,"spread":false},{"title":"Arithmethic.obj <span style='color:#111;'> 41.33KB </span>","children":null,"spread":false},{"title":"Linear.obj <span style='color:#111;'> 41.50KB </span>","children":null,"spread":false},{"title":"Linear.pdb <span style='color:#111;'> 441.00KB </span>","children":null,"spread":false},{"title":"Win.obj <span style='color:#111;'> 34.71KB </span>","children":null,"spread":false},{"title":"Linear.exe <span style='color:#111;'> 212.11KB </span>","children":null,"spread":false},{"title":"Linear.pch <span style='color:#111;'> 3.73MB </span>","children":null,"spread":false},{"title":"WinMain.obj <span style='color:#111;'> 17.78KB </span>","children":null,"spread":false}],"spread":false},{"title":"stdafx.cpp <span style='color:#111;'> 19B </span>","children":null,"spread":false},{"title":"Arithmethic.h <span style='color:#111;'> 868B </span>","children":null,"spread":false},{"title":"Linear.h <span style='color:#111;'> 568B </span>","children":null,"spread":false},{"title":"WinMain.cpp <span style='color:#111;'> 1.00KB </span>","children":null,"spread":false},{"title":"LinkList.h <span style='color:#111;'> 492B </span>","children":null,"spread":false},{"title":"Linear.cpp <span style='color:#111;'> 11.82KB </span>","children":null,"spread":false},{"title":"Win.h <span style='color:#111;'> 1.68KB </span>","children":null,"spread":false},{"title":"说明.txt <span style='color:#111;'> 386B </span>","children":null,"spread":false},{"title":"Win.cpp <span style='color:#111;'> 7.65KB </span>","children":null,"spread":false},{"title":"DisposeInside.h <span style='color:#111;'> 427B </span>","children":null,"spread":false},{"title":"Linear.plg <span style='color:#111;'> 908B </span>","children":null,"spread":false}],"spread":false}],"spread":true},{"title":"mgu","children":[{"title":"mgu","children":[{"title":"u.cpp <span style='color:#111;'> 3.92KB </span>","children":null,"spread":false},{"title":"说明.txt <span style='color:#111;'> 349B </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}],"spread":true}]