Theorem Proving with Analytic Tableaux and Related Methods
Theorem Proving with Analytic Tableaux and Related Methods PDF book is popular Computers book written by P. Miglioli. The book was released by Springer Science & Business Media on 1996-04-24 with total hardcover pages 348. Fast download link is given in this page, you could read Theorem Proving with Analytic Tableaux and Related Methods by P. Miglioli in PDF, epub and kindle directly from your devices.
Theorem Proving with Analytic Tableaux and Related Methods
-
Theorem Proving with Analytic Tableaux and Related Methods Book Detail
- Author : P. Miglioli
- Release Date : 1996-04-24
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 348
- ISBN 13 : 9783540612087
- File Size : 66,66 MB