约翰·菲茨杰拉德。;克利夫·琼斯。 关于部分函数的两种推理方式之间的联系。 （英语） Zbl 1186.68288号 信息处理。莱特。 107，编号3-4，128-132（2008）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Fitzgerald}和\textit{C.B.Jones}，Inf.Process。莱特。107，编号3--4，128-132（2008；Zbl 1186.68288） 全文： 内政部
Ng、K.S。;劳埃德·J·W·。;W.T.B.乌瑟尔。 使用逻辑理论进行概率建模、推理和学习。 （英语） Zbl 1178.68589号 安。数学。Artif公司。智力。 54，编号1-3，159-205（2008）.MSC公司：68层37 68T05年 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Ng}等人，《数学年鉴》。Artif公司。智力。54，编号1--3159-205（2008；Zbl 1178.68589） 全文： 内政部
斯科特·欧文斯;康拉德·斯林德 使功能程序适应高阶逻辑。 （英语） Zbl 1175.68103号 高-订购符号。计算。 21，第4期，377-409（2008）.MSC公司：68甲18 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Owens}和\textit{K.Slind}，高-订购符号。计算。21，第4号，377--409（2008；Zbl 1175.68103） 全文： 内政部
塞萨里·卡利西克 在形式化的部分函数中自动处理边条件。 （英语） Zbl 1166.68349号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。《人工智能讲义》，300-314（2008）。MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本｛C.Kaliszyk｝，Lect。注释计算。科学。5144300-314（2008年；Zbl 1166.68349） 全文： 内政部
雅克·卡雷特;Farmer，William M。 高级理论。 （英语） Zbl 1166.68338号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，232-245（2008）。MSC公司：68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5144232--245（2008年；Zbl 1166.68338） 全文： 内政部