H.G. · Herman Geuvers Rob Nederpelt · Professor Herman Geuvers
Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings | Taschenbuch | 978-3-319-62074-9 | 2017 | Matthew England · Osman Hasan · Florian Rabe · Olaf Teschke | |
| Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings | " | 978-3-642-22862-9 | 2011 | Marko Van Eekelen · Julien Schmaltz · Freek Wiedijk | |
| Logic Colloquium 2006 | Printed Access Code | 978-0-511-60532-1 | 2010 | Professor S. Barry Cooper · Anand Pillay · Jouko Väänänen | |
| Logic Colloquium 2006 | Hardcover | 978-0-521-11081-5 | 2009 | S. Barry Cooper · Anand Pillay · Jouko Väänänen | |
| Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers | Taschenbuch | 978-3-540-14031-3 | 2008 | Freek Wiedijk | |
| Type Theory and Formal Proof: An Introduction | Hardcover | 978-1-107-03650-5 | 2014 | Rob Nederpelt |