Home Advanced Search

Advanced Search - Page 1

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.)

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

PDF
English
Year: 2013
Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

PDF
English
Year: 2013
Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (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.)

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

PDF
English
Year: 2011
Author: Maria Paola Bonacina, Moa Johansson (auth.), Kai Brünnler, George Metcalfe (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.)

Space in Weak Propositional Proof Systems

PDF
English
Year: 2017
Author: Ilario Bonacina (auth.)

Structure and Function of Invertebrate Oxygen Carriers

PDF
English
Year: 1991
Author: Nicolas Boisset, Jean-Christophe Taveau, Jean Lamy (auth.), Serge N. Vinogradov, Oscar H. Kapp (eds.)

Proceedings of the 21st International Meshing Roundtable

PDF
English
Year: 2013
Author: Daniel Sieger, Stefan Menzel, Mario Botsch (auth.), Xiangmin Jiao, Jean-Christophe Weill (eds.)