購買[A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP]須知－電腦外文館的部落格

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP特惠價

博客來電腦-程式語言分類限量出清

This book celebrates the 25th anniversary of GULP---the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students.

The volume contains 14 invited papers, each giving a detailed analysis of a specific field of logic programming and providing both a historical perspective and a precise discussion of current research. The topics discussed are: theoretical foundations of logic programming, program transformations, non-monotonic reasoning, constraint logic programming, concurrent logic programming, program verification, applications of logic programming, answer set programming, databases and web, agents and multi-agent systems, functional logic programming, higher order programming, and automated theorem proving.

The book closes with a chapter reviewing in detail the main applications of logic programming developed in Italy and/or by Italian researchers in the last 25 years, illustrating successful work done and potential directions for future developments.

...繼續閱讀

美金：89.99元