Automated Theorem Proving: After 25 Years
Download or Read eBook Automated Theorem Proving: After 25 Years PDF written by W. W. Bledsoe and published by American Mathematical Soc.. This book was released on 1984 with total page 372 pages. Available in PDF, EPUB and Kindle.
| Author | : W. W. Bledsoe |
| Publisher | : American Mathematical Soc. |
| Total Pages | : 372 |
| Release | : 1984 |
| ISBN-10 | : 9780821850275 |
| ISBN-13 | : 082185027X |
| Rating | : 4/5 (75 Downloads) |
Book Synopsis Automated Theorem Proving: After 25 Years by : W. W. Bledsoe
Book excerpt:
