Home Advanced Search

Advanced Search - Page 1

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
The Seventeen Provers of the World: Foreword by Dana S. Scott
  • PDF
  • English
  • Year: 2006
  • Author: Freek Wiedijk (auth.), Freek Wiedijk (eds.)
The Seventeen Provers of the World: Foreword by Dana S. Scott
  • PDF
  • English
  • Year: 2006
  • Author: Freek Wiedijk (auth.), Freek Wiedijk (eds.)
Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Steve Linton (auth.), Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (eds.)
Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Steve Linton (auth.), Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Religiöser Pluralismus und Gesellschaftsstruktur / Religious Pluralism and Social Structure
  • PDF
  • German
  • Year: 1965
  • Author: Joachim Matthes (auth.), Joachim Matthes (eds.)
search