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