This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.
| ISBN: | 9783540755586 |
| Publication date: | 8th October 2007 |
| Author: | LPAR Conference, Nachum Dershowitz, Andrei Voronkov |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 562 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.
Logic for Programming, Artificial Intelligence, and Reasoning features in the following genres: Software Engineering, Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering
Paperback. Not Available.
Logic for Programming, Artificial Intelligence, and Reasoning was written by LPAR Conference, Nachum Dershowitz, Andrei Voronkov and published by Springer an imprint of Springer Berlin Heidelberg
Logic for Programming, Artificial Intelligence, and Reasoning has 562 pages
Yes it is part of Lecture Notes in Computer Science series