Logic for Programming, Artificial Intelligence, and Reasoning by LPAR Conference, Franz Baader, Andrei Voronkov
| ISBN: | 9783540252368 |
| Publication date: | 7th March 2005 |
| Author: | LPAR Conference, Franz Baader, Andrei Voronkov |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 562 pages |
| Series: | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
Logic for Programming, Artificial Intelligence, and Reasoning by LPAR Conference, Franz Baader, Andrei Voronkov
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, Franz Baader, 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 Lecture Notes in Artificial Intelligence series