文件名称：人工智能 基于归结原理的推理系统.rar
文件大小：270KB
文件格式：RAR
更新时间：2012-11-08 10:17:43
人工智能 基于归结原理的推理系统.rar
人工智能 基于归结原理的推理系统.rar 人工智能 基于归结原理的推理系统.rar
【文件预览】：
基于归结原理的推理系统
----21.TXT(632B)
----23.txt(202B)
----Thelma_Steve.txt(247B)
----dolphin.txt(57B)
----13.txt(438B)
----02.txt(39B)
----club.txt(717B)
----22.txt(191B)
----26.txt(345B)
----06.txt(95B)
----Pete_Steve.txt(191B)
----Thief.txt(345B)
----zhaoqiansenli.TXT(632B)
----unify.HLP(5KB)
----muder_case_answer.txt(620B)
----integer.txt(380B)
----01.txt(39B)
----Barber.TXT(213B)
----subsume.HLP(5KB)
----equals.txt(194B)
----resolution.HLP(9KB)
----dog_cat.txt(247B)
----19.TXT(213B)
----muder_case-1.txt(564B)
----04.txt(66B)
----16.txt(47B)
----14.txt(512B)
----25.txt(216B)
----Innocent.txt(439B)
----contradication.txt(75B)
----killer_2.txt(620B)
----father_mother.txt(217B)
----11-2.txt(601B)
----killer-1.txt(564B)
----natural_number.txt(389B)
----20.TXT(307B)
----Resolution.exe(734KB)
----03.txt(31B)
----24.txt(194B)
----10.txt(208B)
----husband_wife.txt(247B)
----05.txt(57B)
----Marcus_Caesar.txt(512B)
----17.txt(45B)
----99.txt(75B)
----john_peanat.txt(360B)
----Father_brother.TXT(307B)
----Equal.HLP(6KB)
----09.txt(360B)
----equal.txt(202B)