×

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

自动推理。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。 (英语) Zbl 1391.68006号

计算机科学课堂讲稿人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-319-94204-9/pbk;978-3-316-94205-6/电子书)。十八、724页。(2018).
MSC公司:68-06 第68页第15页 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

满意度测试的理论和应用——2012年SAT。第15届国际会议,2012年6月17日至20日,意大利特伦托。诉讼程序。 (英语) Zbl 1268.68009号

计算机科学课堂讲稿7317.柏林:施普林格出版社(ISBN 978-3-642-31611-1/pbk)。xiii,504页。(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合系统的前沿。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。 (英语) Zbl 1178.68010号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。x、 第383页。(2009).
MSC公司:68-06 68泰克 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第四次自动推理中决策程序的语用学研讨会(PDPAR 2006)和第一次概率自动机和逻辑国际研讨会(PaUL 2006)的联合会议记录,西雅图,华盛顿州,美国,2006年8月。 (英语) Zbl 1273.68022号

理论计算机科学电子笔记174,第8号。阿姆斯特丹:爱思唯尔。108页。,仅电子版(2007年)。
MSC公司:68-06 03B35型 60年第68季度 第68页第15页 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

出版年份

主字段

软件