Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Automated Deduction in Classical and Non-Classical Logics Selected Papers
Sale price
$49.49
Regular price
$54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Automated Deduction in Classical and Non-Classical Logics
Selected Papers
Ricardo Caferra | Gernot Salzer
Computers / Artificial Intelligence / General
| Publication Date: | 09 February 2000 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540671909 |
| Format: | Paperback / softback |
| Page Count: | 304 |