Type Theory and Formal Proof: An Introduction
Autor Rob Nederpelt et al.
5 noi 2014
Hardback
Preț: 445.76 lei 557.19 lei
22-36 zile | 6-12 zile
-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ț: 330.55 lei 413.19 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ț: 332.64 lei 415.80 lei
43-57 zile
-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ț: 327.98 lei 409.97 lei
43-57 zile
-20%
Logic Colloquium 2006
Editat de S. Barry Cooper et al.
6 sep 2009
Hardback
Preț: 751.92 lei 983.87 lei
Indisponibil temporar
-24%