Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 程式設計、人工智慧與推理的邏輯：第14屆國際會議 LPAR 2007，亞美尼亞葉里溫，2007年10月15-19日，會議錄（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 2007-10-08
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 564
- 裝訂: Paperback
- ISBN: 3540755586
- ISBN-13: 9783540755586
-
相關分類:
R 語言、人工智慧、Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
商品描述(中文翻譯)
本書是第14屆邏輯程式設計、人工智慧與推理國際會議（LPAR 2007）的經過審查的會議論文集，會議於亞美尼亞的葉里溫舉行。書中包含36篇修訂的完整論文、15篇短文以及三篇受邀演講，這些內容是從78篇投稿中精心挑選出來的。這些論文涵蓋了邏輯程式設計、基於邏輯的程式操作、形式方法、自動推理以及各種人工智慧邏輯的所有當前議題。
