Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods
Author :
Publisher :
Total Pages : 356
Release :
ISBN-10 : 3662181592
ISBN-13 : 9783662181591
Rating : 4/5 (92 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:


Automated Reasoning with Analytic Tableaux and Related Methods Related Books