1.
Automated Deduction in Multiple-valued Logics (International Series of Monographs on Compute...
by Hahnle, Reiner
ISBN: 9780198539896
List Price: $70.00
OUT OF STOCK
See Availability on Amazon2.
Formal Methods for Components and Objects : 11th International Symposium, Fmco 2012, Bertino...
by Giachino, Elena, Hahnle, Re...
ISBN: 9783642406164
List Price: $24.99
OUT OF STOCK
See Availability on Amazon3.
Theorem Proving with Analytic Tableaux and Related Methods
by Baumgartner, Peter, Hahnle,...
ISBN: 9783662192030
List Price: $24.99
OUT OF STOCK
See Availability on Amazon4.
Handbook of Tableau Methods
by D'Agostino, M., Gabbay, Dov...
ISBN: 9789401717557
List Price: $24.99