Geuvers, Herman books & textbook
Type Theory and Formal Proof: An Introduction
Nederpelt, Rob Geuvers, Herman
Cambridge University Press /2014-12-15 Hardcover / 466 Pages
isbn-10: 110703650X / isbn-13: 9781107036505
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science, 10383)
Geuvers, Herman England, Matthew Hasan, Osman Rabe, Florian Teschke, Olaf
Springer /2017-06-29 Paperback / 393 Pages
isbn-10: 3319620746 / isbn-13: 9783319620749
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
Van Eekelen, Marko Geuvers, Herman Schmaltz, Julien Wiedijk, Freek
Springer /2011-08-02 Paperback / 394 Pages
isbn-10: 3642228623 / isbn-13: 9783642228629
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
Geuvers, Herman Wiedijk, Freek
Springer /2003-04-28 Paperback / 680 Pages
isbn-10: 354014031X / isbn-13: 9783540140313
Logic Colloquium 2006 (Lecture Notes in Logic, Series Number 32)
Cooper, S. Barry Geuvers, Herman Pillay, Anand Väänänen, Jouko
Cambridge University Press /2009-09-07 Hardcover / 384 Pages
isbn-10: 0521110815 / isbn-13: 9780521110815
