Home Advanced Search

Advanced Search - Page 1

Type theory and formal proof: an Introduction
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
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
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
The Lucky Few: The Fall of Saigon and the Rescue Mission of the USS Kirk
The Lucky Few: The Fall of Saigon and the Rescue Mission of the USS Kirk
  • EPUB
  • English
  • Year: 2013
  • Author: Jan K. Herman
A Cultural History of Gesture: From Antiquity to the Present Day
A Cultural History of Gesture: From Antiquity to the Present Day
  • PDF
  • English
  • Year: 1991
  • Author: Jan N. Bremmer; Herman Roodenburg
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
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
National Health Insurance and Health Resources: The European Experience
National Health Insurance and Health Resources: The European Experience
  • PDF
  • English
  • Year: 2013
  • Author: Jan Blanpain; Luc Delesie; Herman Nys
National Health Insurance and Health Resources: The European Experience
National Health Insurance and Health Resources: The European Experience
  • PDF
  • English
  • Year: 1978
  • Author: Jan Blanpain; Luc Delesie; Herman Nys
search