This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.
| ISBN: | 9783540671909 |
| Publication date: | 9th February 2000 |
| Author: | Ricardo Caferra, Gernot Salzer |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 297 pages |
| Series: | Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence |
| Genres: |
Artificial intelligence Mathematical theory of computation |
This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.
Automated Deduction in Classical and Non-Classical Logics features in the following genres: Artificial intelligence, Mathematical theory of computation
Paperback. Not Available.
Automated Deduction in Classical and Non-Classical Logics was written by Ricardo Caferra, Gernot Salzer and published by Springer an imprint of Springer Berlin Heidelberg
Automated Deduction in Classical and Non-Classical Logics has 297 pages
Yes it is part of Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence series