Type Theory and Formal Proof: An Introduction
Autor Rob Nederpelt et al.
5 noi 2014
Hardback
Preț: 445.77 lei 557.20 lei
6-8 săpt.
-20%
Cărți de Herman Geuvers
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Editat de Herman Geuvers et al.
29 iun 2017
Paperback
Preț: 337.32 lei 421.66 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ț: 339.47 lei 424.34 lei
6-8 săpt.
-20%
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Editat de Herman Geuvers et al.
28 apr 2003
Paperback
Preț: 334.71 lei 418.38 lei
6-8 săpt.
-20%
Logic Colloquium 2006
Editat de S. Barry Cooper et al.
6 sep 2009
Hardback
Preț: 753.07 lei 983.88 lei
Indisponibil temporar
-23%