鲁滨逊归结原理 大连理工大学 软件学院 曹晓东 人工智能

[{"title":"（ 39 个子文件 611KB ） 鲁滨逊归结原理 大连理工大学 软件学院 曹晓东 人工智能","children":[{"title":"作业2","children":[{"title":"~$滨逊归结原理.docx <span style='color:#111;'> 162B </span>","children":null,"spread":false},{"title":"robinson","children":[{"title":".project <span style='color:#111;'> 384B </span>","children":null,"spread":false},{"title":"bin","children":[{"title":"cn","children":[{"title":"edu","children":[{"title":"dut","children":[{"title":"wisdom","children":[{"title":"mgu","children":[{"title":"SubstitutionSet.class <span style='color:#111;'> 2.15KB </span>","children":null,"spread":false},{"title":"MostGeneralUnifier.class <span style='color:#111;'> 1.42KB </span>","children":null,"spread":false},{"title":"Function.class <span style='color:#111;'> 2.31KB </span>","children":null,"spread":false},{"title":"FunctionComparer.class <span style='color:#111;'> 3.07KB </span>","children":null,"spread":false},{"title":"FunctionSet.class <span style='color:#111;'> 2.10KB </span>","children":null,"spread":false},{"title":"Substitution.class <span style='color:#111;'> 905B </span>","children":null,"spread":false}],"spread":true},{"title":"robinson","children":[{"title":"Robinson.class <span style='color:#111;'> 2.53KB </span>","children":null,"spread":false},{"title":"ClauseSet.class <span style='color:#111;'> 2.05KB </span>","children":null,"spread":false},{"title":"Clause.class <span style='color:#111;'> 4.39KB </span>","children":null,"spread":false}],"spread":true},{"title":"ex","children":[{"title":"FunctionFormatException.class <span style='color:#111;'> 832B </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}],"spread":true}],"spread":true}],"spread":true},{"title":".settings","children":[{"title":"org.eclipse.jdt.core.prefs <span style='color:#111;'> 629B </span>","children":null,"spread":false}],"spread":true},{"title":"src","children":[{"title":"cn","children":[{"title":"edu","children":[{"title":"dut","children":[{"title":"wisdom","children":[{"title":"mgu","children":[{"title":"SubstitutionSet.java <span style='color:#111;'> 1.23KB </span>","children":null,"spread":false},{"title":"FunctionSet.java <span style='color:#111;'> 1.29KB </span>","children":null,"spread":false},{"title":"FunctionComparer.java <span style='color:#111;'> 3.56KB </span>","children":null,"spread":false},{"title":"Substitution.java <span style='color:#111;'> 581B </span>","children":null,"spread":false},{"title":"MostGeneralUnifier.java <span style='color:#111;'> 591B </span>","children":null,"spread":false},{"title":"Function.java <span style='color:#111;'> 2.14KB </span>","children":null,"spread":false}],"spread":true},{"title":"robinson","children":[{"title":"Robinson.java <span style='color:#111;'> 1.74KB </span>","children":null,"spread":false},{"title":"ClauseSet.java <span style='color:#111;'> 1.35KB </span>","children":null,"spread":false},{"title":"Clause.java <span style='color:#111;'> 3.06KB </span>","children":null,"spread":false}],"spread":true},{"title":"ex","children":[{"title":"FunctionFormatException.java <span style='color:#111;'> 461B </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}],"spread":true}],"spread":true}],"spread":true},{"title":".classpath <span style='color:#111;'> 301B </span>","children":null,"spread":false}],"spread":true},{"title":"王友.第二次作业.rar <span style='color:#111;'> 199.13KB </span>","children":null,"spread":false},{"title":"鲁滨逊归结原理.docx <span style='color:#111;'> 78.31KB </span>","children":null,"spread":false},{"title":"鲁滨逊归结原理.pdf <span style='color:#111;'> 183.79KB </span>","children":null,"spread":false},{"title":"王亮","children":[{"title":"src","children":[{"title":"cn","children":[{"title":"dlut","children":[{"title":"edu","children":[{"title":"wang","children":[{"title":"mgu","children":[{"title":"SubstitutionSet.java <span style='color:#111;'> 1.35KB </span>","children":null,"spread":false},{"title":"FunctionSet.java <span style='color:#111;'> 998B </span>","children":null,"spread":false},{"title":"Main.java <span style='color:#111;'> 633B </span>","children":null,"spread":false},{"title":"FunctionComparer.java <span style='color:#111;'> 2.99KB </span>","children":null,"spread":false},{"title":"Substitution.java <span style='color:#111;'> 499B </span>","children":null,"spread":false},{"title":"MostGeneralUnifier.java <span style='color:#111;'> 1.05KB </span>","children":null,"spread":false},{"title":"Function.java <span style='color:#111;'> 1.16KB </span>","children":null,"spread":false}],"spread":true},{"title":"robinson","children":[{"title":"Resolution.java <span style='color:#111;'> 1.49KB </span>","children":null,"spread":false},{"title":"ClauseSet.java <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":"Clause.java <span style='color:#111;'> 2.80KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}],"spread":true}],"spread":true}],"spread":true},{"title":"鲁滨逊归结_说明文档.docx <span style='color:#111;'> 113.56KB </span>","children":null,"spread":false},{"title":"鲁滨逊归结_代码.docx <span style='color:#111;'> 21.26KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]