This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.
| ISBN: | 9783540482819 |
| Publication date: | 23rd October 2006 |
| Author: | LPAR Conference, Miki Hermann, Andrei Voronkov |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 588 pages |
| Series: | Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence |
| Genres: |
Artificial intelligence Software Engineering Mathematical theory of computation Computer programming / software engineering |
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.
Logic for Programming, Artificial Intelligence, and Reasoning features in the following genres: Artificial intelligence, Software Engineering, Mathematical theory of computation, Computer programming / software engineering
Paperback. Not Available.
Logic for Programming, Artificial Intelligence, and Reasoning was written by LPAR Conference, Miki Hermann, Andrei Voronkov and published by Springer an imprint of Springer Berlin Heidelberg
Logic for Programming, Artificial Intelligence, and Reasoning has 588 pages
Yes it is part of Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence series