Type Theory and Formal Proof: An Introduction
Autor Rob Nederpelt et al.
5 noi 2014
Hardback
Preț: 503.03 lei 628.78 lei
Indisponibil temporar
-20%
Cărți de Herman Geuvers
Types for Proofs and Programs
Editat de Herman Geuvers et al.
28 apr 2003
Paperback
Preț: 324.41 lei 405.51 lei
43-57 zile
-20%
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Editat de Marko Van Eekelen et al.
2 aug 2011
Paperback
Preț: 326.55 lei 408.19 lei
43-57 zile
-20%
Intelligent Computer Mathematics
Editat de Herman Geuvers et al.
29 iun 2017
Paperback
Preț: 327.07 lei 408.84 lei
43-57 zile
-20%