约瑟夫·加特纳;Swift,Terrance公司;艾伦·田;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉 从计算逻辑的角度进行精神病诊断。 (英语) Zbl 0983.68697号 Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 1362-1376 (2000).MSC公司:68单位99 68单位35 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{J.Gartner}等人,Lect。注释计算。科学。1861、1362——1376(2000年;Zbl 0983.68697)
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉;Swift,Terrance公司 连贯、基础良好的注释逻辑程序。 (英语) Zbl 0952.68025号 Michael Gelfond(编辑)等人,《逻辑编程和非单调推理》。第五届国际会议,LPNMR’99。美国德克萨斯州埃尔帕索,1999年12月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1730, 262-276 (1999).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Damásio}等人,Lect。注释计算。科学。173262-276(1999年;兹bl 0952.68025)