×

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

协作与冲突学习、进化和论证。 (英语) Zbl 1181.68211号

Tizhoosh,Hamid R.(编辑)等人,《计算智能中的对立概念》。柏林:施普林格出版社(ISBN 978-3-540-70826-1/hbk)。计算智能研究155,61-89(2008)。
MSC公司:68T05型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

正常逻辑程序的批准模型。 (英语) Zbl 1137.68340号

Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,454-468(2007)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

出版年份

主字段

软件