A Machine Program for Theorem-proving
| Author | : Martin Davis |
| Publisher | : |
| Total Pages | : 40 |
| Release | : 1961 |
| ISBN-10 | : UOM:39015095248095 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis A Machine Program for Theorem-proving by : Martin Davis
Download or read book A Machine Program for Theorem-proving written by Martin Davis and published by . This book was released on 1961 with total page 40 pages. Available in PDF, EPUB and Kindle. Book excerpt: The programming of a proof procedure is discussed in connection with trial runs and possible improvements. (Author).
