Filter By
Books (2)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
The Resolution Calculus by Alexander Leitsch 9783642644733
Booksplease Price: £46.28The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge... -
Automated Deduction in Classical and Non-Classical Logics: Selected Papers by Ricardo Caferra 9783540671909
Booksplease Price: £46.28Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order...