Automated Reasoning
| Author | : Jasmin Blanchette |
| Publisher | : Springer Nature |
| Total Pages | : 756 |
| Release | : 2022 |
| ISBN-10 | : 9783031107696 |
| ISBN-13 | : 3031107691 |
| Rating | : 4/5 (691 Downloads) |
Book Synopsis Automated Reasoning by : Jasmin Blanchette
Download or read book Automated Reasoning written by Jasmin Blanchette and published by Springer Nature. This book was released on 2022 with total page 756 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
