Home Advanced Search

Advanced Search - Page 1

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.)
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
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
Scripts, Plans, Goals and Understanding An Inquiry into Human Knowledge Structures
  • PDF
  • English
  • Year: 1977
  • Author: R.C. Schank, R.P. Abelson
Transport Mediated by Electrified Interfaces: Studies in the Linear, non-linear and far from equilibrium regimes
  • PDF
  • Year: 2003
  • Author: R.C. Srivastava and R.P. Rastogi (Eds.)
Economic choice theory
  • DJVU
  • English
  • Year: 1995
  • Author: Kagel J.H., Battalio R.C., Green L.
Virial Coefficients of Pure Gases (Landolt-Bornstein: Numerical Data and Functional Relationships in Science and Technology - New Series Physical Chemistry)
  • PDF
  • English
  • Year: 2002
  • Author: M. Frenkel, K.N. Marsh, K.N. Marsh, J.H. Dymond, R.C. Wilhoit, K.C. Wong
search