Theorem Proving in Higher Order Logics
Editat de Victor A. Carreno et al.
7 aug 2002
Paperback
Preț: 324.45 lei 405.57 lei
43-57 zile
-20%
Cărți de Sofiene Tahar
Formalized Probability Theory and Applications Using Theorem Proving
Autor Osman Hasan et al.
25 mar 2015
Hardback
Preț: 1039.25 lei 1349.67 lei
43-57 zile
-23%