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)
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
search