Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods PDF book is popular Computers book written by Serenella Cerrito. The book was released by Springer Nature on 2019-08-22 with total hardcover pages 477. Fast download link is given in this page, you could read Automated Reasoning with Analytic Tableaux and Related Methods by Serenella Cerrito in PDF, epub and kindle directly from your devices.
Automated Reasoning with Analytic Tableaux and Related Methods
-
Automated Reasoning with Analytic Tableaux and Related Methods Book Detail
- Author : Serenella Cerrito
- Release Date : 2019-08-22
- Publisher : Springer Nature
- Genre : Computers
- Pages : 477
- ISBN 13 : 3030290263
- File Size : 37,37 MB