Herman Geuvers – författare
Visar alla böcker från författaren Herman Geuvers.
5 produkter
Type Theory and Formal Proof
An Introduction
Av Rob Nederpelt, Herman Geuvers
Inbunden, 2014
1639 kr
Lägg i varukorg
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Av Herman Geuvers, Matthew England m. fl.
Häftad, 2017
739 kr
Lägg i varukorg
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Av Herman Geuvers, Freek Wiedijk
Häftad, 2003
719 kr
Lägg i varukorg
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Av Marko Van Eekelen, Herman Geuvers m. fl.
Häftad, 2011
739 kr
Lägg i varukorg