Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September ... Papers (Lecture Notes in Computer Science)
暫譯: 宣告式程式設計與知識管理：宣告式程式設計日，KDPD 2013，統一 INAP、WFLP 和 WLP，德國基爾，九月... 論文（計算機科學講義筆記）
- 出版商: Springer
- 出版日期: 2014-07-24
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 264
- 裝訂: Paperback
- ISBN: 3319089080
- ISBN-13: 9783319089089
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.
商品描述(中文翻譯)
本書是2013年基爾聲明式程式設計日（Kiel Declarative Programming Days, KDPD 2013）的會議紀錄，統合了以下會議：第20屆國際聲明式程式設計與知識管理應用會議（INAP 2013）、第22屆國際函數式與（約束）邏輯程式設計研討會（WFLP 2013）以及第27屆邏輯程式設計研討會（WLP 2013），這些會議於2013年9月在德國基爾舉行。所呈現的15篇論文經過仔細審查並選定納入本書。這些論文涵蓋以下主題：邏輯程式設計、約束問題解決、可程式邏輯求解器、函數式程式設計及約束程式設計。
