Automated Theorem Proving: A Logical Basis
Download or Read eBook Automated Theorem Proving: A Logical Basis PDF 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.
| Author | : D.W. Loveland |
| Publisher | : Elsevier |
| Total Pages | : 419 |
| Release | : 2016-08-19 |
| ISBN-10 | : 9781483296777 |
| ISBN-13 | : 1483296776 |
| Rating | : 4/5 (77 Downloads) |
Book Synopsis Automated Theorem Proving: A Logical Basis by : D.W. Loveland
Book excerpt: Automated Theorem Proving: A Logical Basis
