Automated Theorem Proving: A Logical Basis
| Author | : D.W. Loveland |
| Publisher | : Elsevier |
| Total Pages | : 419 |
| Release | : 2016-08-19 |
| ISBN-10 | : 9781483296777 |
| ISBN-13 | : 1483296776 |
| Rating | : 4/5 (776 Downloads) |
Book Synopsis Automated Theorem Proving: A Logical Basis by : D.W. Loveland
Download or read book Automated Theorem Proving: A Logical Basis written by D.W. Loveland and published by Elsevier. This book was released on 2016-08-19 with total page 419 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automated Theorem Proving: A Logical Basis
