Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● ISBN 9783642600852 ● 编辑 Krzysztof R. Apt & Victor W. Marek ● 出版者 Springer Berlin Heidelberg ● 发布时间 2012 ● 下载 3 时 ● 货币 EUR ● ID 6328556 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器