Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 邏輯程式設計：第23屆國際會議 ICLP 2007，葡萄牙波爾圖，2007年9月8-13日，會議論文集（計算機科學講義）

***

出版商: Springer
出版日期: 2007-08-28
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 472
裝訂: Paperback
ISBN: 3540746080
ISBN-13: 9783540746089
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.

商品描述(中文翻譯)

本書包含第23屆國際邏輯程式設計會議（ICLP 2007）經過審核的會議論文集，會議於葡萄牙波爾圖舉行。22篇修訂的完整論文，以及兩場特邀演講、15篇海報展示和五篇博士聯盟文章的摘要，涵蓋了邏輯程式設計當前研究的所有議題，包括理論、函數邏輯程式設計、約束邏輯程式設計、程式分析、答案集程式設計、語義學和應用。