CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Theorem Proving in Higher Order Logics 15th International Conference, Tphols 2002, Hampton, ...
Theorem Proving in Higher Order Logics 15th International Conference, Tphols 2002, Hampton, ... by Carreano, Victor A., Munoz,... ISBN: 9783540440390 List Price: $72.95
$52.33 (Save 28%)
2.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics by Carreno, Victor A., Munoz, ... ISBN: 9783662182413 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
3.
Formalized Probability Theory and Applications Using Theorem Proving
Formalized Probability Theory and Applications Using Theorem Proving by Hasan, Osman, Tahar, Sofiene ISBN: 9781466683150 List Price: $195.00
$190.77 (Save 2%)