MPG.eBooks - Author Search Results

Cover Image

1

Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

by Geuvers, Herman
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2

Type theory and formal proof : an introduction

by Nederpelt, R. P., Geuvers, Herman
Published 2014

Cambridge University Press

Cover Image

3

Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Geuvers, Herman...”

Cover Image

4

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Published 2017

Springer International Publishing

Other Authors: “...Geuvers, Herman...”

Cover Image

5

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Geuvers, Herman...”