Logic for Programming, Artificial Intelligence, and Reasoning
| Author | : Christian G. Fermüller |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 667 |
| Release | : 2010-09-27 |
| ISBN-10 | : 9783642162411 |
| ISBN-13 | : 364216241X |
| Rating | : 4/5 (41X Downloads) |
Book Synopsis Logic for Programming, Artificial Intelligence, and Reasoning by : Christian G. Fermüller
Download or read book Logic for Programming, Artificial Intelligence, and Reasoning written by Christian G. Fermüller and published by Springer Science & Business Media. This book was released on 2010-09-27 with total page 667 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.
