Books by Herman Geuvers

Herman Geuvers
Average rating 4.64 · 22 ratings · 5 reviews · shelved 300 times

Showing 8 distinct works.

	Type Theory and Formal Proof: An Introduction by Rob Nederpelt, Herman Geuvers 4.65 avg rating — 20 ratings — published 2014 — 8 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic Colloquium 2006 (Lecture Notes in Logic, Series Number 32) by S. Barry Cooper (Editor), Herman Geuvers (Editor), Anand Pillay (Editor), Jouko Väänänen (Editor) 4.50 avg rating — 2 ratings — published 2009 — 8 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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) by Herman Geuvers (Editor) 0.00 avg rating — 0 ratings — published 2003 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Artificial Intelligence) by Herman Geuvers (editor), Matthew England (Editor), Osman Hasan (Editor), Florian Rabe (Editor) 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science Book 10383) by Herman Geuvers (editor), Matthew England (editor), Osman Hasan (editor), Florian Rabe (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898) by Marko van Eekelen (Editor), Herman Geuvers (Editor), Julien Schmaltz (Editor), Freek Wiedijk (Editor) 0.00 avg rating — 0 ratings — published 2011 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings by Marko van Eekelen (Editor), Herman Geuvers (Editor), Julien Schmaltz (Editor) 0.00 avg rating — 0 ratings — published 2011	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Type Theory and Formal Proof: An Introduction by Rob Nederpelt, Herman Geuvers 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.