×

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

序言:未来50年。 (英语) Zbl 1517.68030号

计算机科学课堂讲稿人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-35253-9/pbk;978-3-331-35254-6/电子书)。十六、394页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

客座评论:修订了2014年AMAI计算社会选择专题的精选论文。 (英语) Zbl 1344.00022号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

算法决策理论。2009年10月20日至23日在意大利威尼斯举行的ADT 2009第一届国际会议。诉讼程序。 (英语) Zbl 1175.91012号

计算机科学课堂讲稿人工智能讲义。柏林:施普林格出版社(ISBN 978-3-642-04427-4/pbk)。xii,第460页。(2009).
MSC公司:91-06 91B06型 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

制约因素的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会,CSCLP 2008,罗马,意大利,2008年6月18-20日。修订了选定的论文。 (英语) Zbl 1168.68004号

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

制约因素的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会,2007年CSCLP,法国罗克扬科特,2007年6月7日至8日。修订了选定的论文。 (英语) Zbl 1152.68002号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-540-89811-5/pbk)。vii,159页。(2008).
MSC公司:68-06 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

制约因素的最新进展。第十一届ERCIM约束求解和约束逻辑编程国际研讨会,CSCLP 2006,卡帕里亚,葡萄牙,2006年6月26-28日。修订选定和邀请的论文。 (英语) Zbl 1129.68001号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-540-73816-9/pbk)。viii,185页。(2007).
MSC公司:68-06 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

制约因素的最新进展。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会,CSCLP 2005,乌普萨拉,瑞典,2005年6月20-22日。修订选定和邀请的论文。 (英语) Zbl 1102.68007号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 3-540-34215-X/pbk)。viii,179页。(2006).
MSC公司:68-06 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

制约因素的最新进展。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会,CSCLP 2004,瑞士洛桑,2004年6月23日至25日。修订选定和邀请的论文。 (英语) Zbl 1069.68005号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 3-540-25176-6/pbk)。x、 第217页。(2005).
MSC公司:68-06 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

制约因素的最新进展。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会,CSCLP 2003,匈牙利布达佩斯,2003年6月30日至7月2日。精选论文。 (英语) Zbl 1050.68001号

计算机科学课堂讲稿3010.人工智能课堂讲稿。柏林:施普林格出版社(ISBN 3-540-21834-3/pbk)。viii,第285页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束编程的原则和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。 (英语) Zbl 1024.00062号

计算机科学课堂讲稿.2833。柏林:斯普林格。xix,1005页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

约束编程的原理和实践。1995年9月19日至22日在法国卡西斯举行的第1届国际会议,CP'95。诉讼程序。 (英语) Zbl 0875.00138号

计算机科学课堂讲稿. 976. 柏林:Springer-Verlag。xiii,651页(1995年)。
MSC公司:00B25型 68-06 68号01
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

软件