Home Advanced Search

Advanced Search - Page 1

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.)
Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (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.)
Numérique et sciences informatiques
  • DJVU
  • French
  • Year: 2019
  • Author: Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen
Spheres of Global Justice: Volume 1 Global Challenges to Liberal Democracy. Political Participation, Minorities and Migrations
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Christophe Merle (auth.), Jean-Christophe Merle (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.)
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Lectures on Probability Theory and Statistics: Ecole d’Eté de Probabilités de Saint-Flour XXXII - 2002
  • PDF
  • English
  • Year: 2004
  • Author: Boris Tsirelson, Wendelin Werner (auth.), Jean Picard (eds.)
search