Home Advanced Search

Advanced Search - Page 1

Type theory and formal proof: an Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Geuvers, Jan Herman; Nederpelt, R. P
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
Type Theory and Formal Proof: An Introduction
  • PDF
  • 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
  • PDF
  • English
  • Year: 2017
  • Author: England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
The Lucky Few: The Fall of Saigon and the Rescue Mission of the USS Kirk
  • EPUB
  • English
  • Year: 2013
  • Author: Jan K. Herman
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
A Cultural History of Gesture: From Antiquity to the Present Day
  • PDF
  • English
  • Year: 1991
  • Author: Jan N. Bremmer; Herman Roodenburg
Theories of the Mobile Internet: Materialities and Imaginaries
  • PDF
  • English
  • Year: 2014
  • Author: Andrew Herman, Jan Hadlaw, Thom Swiss
Theories of the Mobile Internet: Materialities and Imaginaries
  • EPUB
  • English
  • Year: 2014
  • Author: Andrew Herman, Jan Hadlaw, Thom Swiss
National Health Insurance and Health Resources: The European Experience
  • PDF
  • English
  • Year: 1978
  • Author: Jan Blanpain; Luc Delesie; Herman Nys
search