Home Advanced Search

Advanced Search - Page 1

Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Eduardo Giménez, Christine Paulin-Mohring (eds.)
Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Ralf Hinze (auth.), Philippe Audebaud, Christine Paulin-Mohring (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
Photoelectrochemical Solar Fuel Production: From Basic Principles to Advanced Devices
  • PDF
  • English
  • Year: 2016
  • Author: Sixto Giménez, Juan Bisquert (eds.)
Der Papst fuehrt Krieg
  • PDF
  • German
  • Year: 1938
  • Author: Adolf Mohring
Advances in Speech and Language Technologies for Iberian Languages: IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jesús Villalba, Eduardo Lleida, Alfonso Ortega, Antonio Miguel (auth.), Doroteo Torre Toledano, Alfonso Ortega Giménez, António Teixeira, Joaquín González Rodríguez, Luis Hernández Gómez, Rubén San Segundo Hernández, Daniel Ramos Castro (eds.)
search