人工智能次协调逻辑推理系统

[{"title":"（ 35 个子文件 268KB ） 人工智能次协调逻辑推理系统","children":[{"title":"次协调逻辑推理系统","children":[{"title":"APC_7-9(反例).txt <span style='color:#111;'> 1.01KB </span>","children":null,"spread":false},{"title":"Para_Resolution.exe <span style='color:#111;'> 733.50KB </span>","children":null,"spread":false},{"title":"APC_7-4.txt <span style='color:#111;'> 1012B </span>","children":null,"spread":false},{"title":"APC_4-1.txt <span style='color:#111;'> 824B </span>","children":null,"spread":false},{"title":"APC_0.txt <span style='color:#111;'> 40B </span>","children":null,"spread":false},{"title":"APC_2-1.txt <span style='color:#111;'> 40B </span>","children":null,"spread":false},{"title":"APC_7-2(反例).txt <span style='color:#111;'> 1.01KB </span>","children":null,"spread":false},{"title":"APC_4-4.txt <span style='color:#111;'> 919B </span>","children":null,"spread":false},{"title":"APC_6-5.txt <span style='color:#111;'> 580B </span>","children":null,"spread":false},{"title":"APC_4-8(反例).txt <span style='color:#111;'> 953B </span>","children":null,"spread":false},{"title":"APC_7-3.txt <span style='color:#111;'> 1016B </span>","children":null,"spread":false},{"title":"resolution.GID <span style='color:#111;'> 8.43KB </span>","children":null,"spread":false},{"title":"APC_4-5.txt <span style='color:#111;'> 915B </span>","children":null,"spread":false},{"title":"APC_6-2.txt <span style='color:#111;'> 580B </span>","children":null,"spread":false},{"title":"APC_7-1.txt <span style='color:#111;'> 1009B </span>","children":null,"spread":false},{"title":"resolution.HLP <span style='color:#111;'> 8.58KB </span>","children":null,"spread":false},{"title":"APC_1.txt <span style='color:#111;'> 48B </span>","children":null,"spread":false},{"title":"APC_6-1.txt <span style='color:#111;'> 882B </span>","children":null,"spread":false},{"title":"APC_7-6.txt <span style='color:#111;'> 1019B </span>","children":null,"spread":false},{"title":"APC_7-7.txt <span style='color:#111;'> 1.03KB </span>","children":null,"spread":false},{"title":"APC_01.txt <span style='color:#111;'> 64B </span>","children":null,"spread":false},{"title":"APC_4-6.txt <span style='color:#111;'> 941B </span>","children":null,"spread":false},{"title":"APC_6-6.txt <span style='color:#111;'> 591B </span>","children":null,"spread":false},{"title":"APC_6-4.txt <span style='color:#111;'> 591B </span>","children":null,"spread":false},{"title":"APC_4-3(反例).txt <span style='color:#111;'> 832B </span>","children":null,"spread":false},{"title":"APC_3.txt <span style='color:#111;'> 75B </span>","children":null,"spread":false},{"title":"APC_7-5.txt <span style='color:#111;'> 1.01KB </span>","children":null,"spread":false},{"title":"APC_4-2.txt <span style='color:#111;'> 825B </span>","children":null,"spread":false},{"title":"APC_6-3.txt <span style='color:#111;'> 621B </span>","children":null,"spread":false},{"title":"APC_7-8(反例).txt <span style='color:#111;'> 1020B </span>","children":null,"spread":false},{"title":"99.txt <span style='color:#111;'> 75B </span>","children":null,"spread":false},{"title":"APC_4-7.txt <span style='color:#111;'> 926B </span>","children":null,"spread":false},{"title":"APC_6-7(反例).txt <span style='color:#111;'> 605B </span>","children":null,"spread":false},{"title":"APC_2.txt <span style='color:#111;'> 45B </span>","children":null,"spread":false},{"title":"APC_8.txt <span style='color:#111;'> 89B </span>","children":null,"spread":false}],"spread":false}],"spread":true}]