×

找到2个文档(结果1-2)

从计算逻辑的角度进行精神病诊断。 (英语) Zbl 0983.68697号

Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 1362-1376 (2000).
PDF格式BibTeX公司 XML格式引用

连贯、基础良好的注释逻辑程序。 (英语) Zbl 0952.68025号

Michael Gelfond(编辑)等人,《逻辑编程和非单调推理》。第五届国际会议,LPNMR’99。美国德克萨斯州埃尔帕索,1999年12月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1730, 262-276 (1999).
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段