Home Advanced Search

Advanced Search - Page 1

Adapting Proofs-as-Programs: The Curry-Howard Protocol
  • PDF
  • English
  • Year: 2005
  • Author: Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley (auth.)
Adapting Proofs-as-Programs : The Curry-Howard Protocol
  • PDF
  • English
  • Year: 2005
  • Author: Iman Poernomo, John N. Crossley, Martin Wirsing
Adapting proofs-as-programs
  • PDF
  • English
  • Year: 2010
  • Author: Iman Poernomo, John N. Crossley, Martin Wirsing
Adapting Proofs-as-Programs: The Curry-Howard Protocol
  • PDF
  • English
  • Year: 2005
  • Author: Iman Poernomo, John N. Crossley, Martin Wirsing
The Dasmariñases, Early Governors of the Spanish Philippines
  • EPUB
  • English
  • Year: 2016
  • Author: John Newsome Crossley
Hernando de Los Ríos Coronel and the Spanish Philippines in the Golden Age
  • EPUB
  • English
  • Year: 2011
  • Author: John Newsome Crossley
Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
  • PDF
  • English
  • Year: 1975
  • Author: J N Crossley (auth.), Prof. John Newsome Crossley (eds.)
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dominik Birkmeier, Sven Overhage (auth.), Grace A. Lewis, Iman Poernomo, Christine Hofmeister (eds.)
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dominik Birkmeier, Sven Overhage (auth.), Grace A. Lewis, Iman Poernomo, Christine Hofmeister (eds.)
Algebraic Methods: Theory, Tools and Applications
  • DJVU
  • English
  • Year: 1989
  • Author: Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)
search