Home Advanced Search
Advanced Search - Page 1
Type Theory and Formal Proof: An Introduction
- English
- Year: 2014
- Author: Professor Rob Nederpelt, Professor Herman Geuvers
Type theory and formal proof: an Introduction
- English
- Year: 2014
- Author: Geuvers, Jan Herman; Nederpelt, R. P
Type Theory and Formal Proof: An Introduction
- English
- Year: 2014
- Author: Professor Rob Nederpelt, Professor Herman Geuvers
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
- English
- Year: 2017
- Author: England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Foreign Dialects: A Manual for Actors, Directors, and Writers
- English
- Year: 1997
- Author: Lewis Herman, Marguerite Shalett Herman
American Dialects: A Manual for Actors, Directors, and Writers
- English
- Year: 1997
- Author: Lewis Herman, Marguerite Shalett Herman
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
- English
- Year: 2009
- Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Calvinus clarissimus theologus: Papers of the Tenth International Congress on Calvin Research
- English
- Year: 2012
- Author: Herman Selderhuis