This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming.
| ISBN: | 9783540412854 |
| Publication date: | 23rd October 2000 |
| Author: | LPAR Conference, Michel Parigot, Andrei Voronkov |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 486 pages |
| Series: | Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence |
| Genres: |
Mathematical logic Compilers and interpreters Mathematical theory of computation Artificial intelligence Mathematical foundations |
This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming.
Logic for Programming and Automated Reasoning features in the following genres: Mathematical logic, Compilers and interpreters, Mathematical theory of computation, Artificial intelligence, Mathematical foundations
Paperback. Not Available.
Logic for Programming and Automated Reasoning was written by LPAR Conference, Michel Parigot, Andrei Voronkov and published by Springer an imprint of Springer Berlin Heidelberg
Logic for Programming and Automated Reasoning has 486 pages
Yes it is part of Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence series