Type Theory and Formal Proof: An Introduction
Autor Rob Nederpelt et al.
5 noi 2014
Hardback
Preț: 524.01 lei 655.01 lei
6-8 săpt.
-20%
Cărți de Herman Geuvers
Types for Proofs and Programs
Editat de Herman Geuvers et al.
28 apr 2003
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Intelligent Computer Mathematics
Editat de Herman Geuvers et al.
29 iun 2017
Paperback
Preț: 326.07 lei 407.59 lei
6-8 săpt.
-20%