Automated Theorem Proving: A Logical Basis (Fundamental Studies in Computer Science)
Full Title: | Automated Theorem Proving: A Logical Basis (Fundamental Studies in Computer Science) |
---|---|
ISBN: | 1483296776 |
ISBN13: | 9781483296777 |
List Price: | USD $72.95 |
Authors: |
Loveland, D. W. |
Related ISBNs