Formalized Probability Theory and Applications Using Theorem Proving
Autor Osman Hasan et al.
25 mar 2015
Hardback
Preț: 1081.30 lei 1404.29 lei
6-8 săpt.
-23%
Cărți de Sofiene Tahar
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Editat de Victor A. Carreno et al.
7 aug 2002
Paperback
Preț: 347.91 lei 434.89 lei
6-8 săpt.
-20%