Home Advanced Search

Advanced Search - Page 1

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
Type theory and formal proof: an Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Geuvers, Jan Herman; Nederpelt, R. P
Selected papers on automath
  • DJVU
  • English
  • Year: 1994
  • Author: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
Selected Papers on Automath
  • PDF
  • English
  • Year: 1994
  • Author: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
Selected Papers on Automath
  • DJVU
  • English
  • Year: 1994
  • Author: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
Selected papers on automath
  • DJVU
  • English
  • Year: 1994
  • Author: Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.)
Selected Papers on Automath
  • PDF
  • English
  • Year: 1994
  • Author: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors)
Modern Actuarial Risk Theory: Using R
  • PDF
  • English
  • Year: 2008
  • Author: Professor Rob Kaas, Professor Marc Goovaerts, Professor Jan Dhaene, Professor Michel Denuit (auth.)
Physics of the Human Body
  • PDF
  • English
  • Year: 2007
  • Author: Professor Dr. Irving P. Herman (auth.)
search