Automated Reasoning with Analytic Tableaux and Related Methods
Author | : Uwe Egly |
Publisher | : |
Total Pages | : 356 |
Release | : 2014-01-15 |
ISBN-10 | : 3662181592 |
ISBN-13 | : 9783662181591 |
Rating | : 4/5 (591 Downloads) |
Book Synopsis Automated Reasoning with Analytic Tableaux and Related Methods by : Uwe Egly
Download or read book Automated Reasoning with Analytic Tableaux and Related Methods written by Uwe Egly and published by . This book was released on 2014-01-15 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: