Automated Theorem Proving : :: SCD d'Orléans

Automated Theorem Proving : Theory and Practice

Automated Theorem Proving : Theory and Practice

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Newborn, Monty, 1938-
Aineistotyyppi:	Livre numérique
Kieli:	Anglais
Julkaistu:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Linkit:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Huomautus:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated Theorem Proving, Theory and Practice

Samankaltaisia teoksia

Using sophisticated models in resolution theorem proving
Tekijä: Sandford, David M., 19..-

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Tekijä: Blazy, Sandrine, 19..-...., informaticienne
Julkaistu: (2013)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Tekijä: Slind, Konrad

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
Tekijä: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
Tekijä: Baumgartner, Peter, 1953-

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Proof and Proving in Mathematics Education
Julkaistu: (2021)

Reading, Writing, and Proving : A Closer Look at Mathematics
Tekijä: Daepp, Ulrich, 1948-, et al.

Reading, writing, and proving : a closer look at mathematics
Tekijä: Daepp, Ulrich, 1948-, et al.

Automated Scheduling and Planning : From Theory to Practice
Tekijä: Uyar, A. Sima

An International Proving Ground : Latin American Artists at the Paris Salons
Tekijä: Greet, Michele
Julkaistu: (2017)

Rethinking the Atrocities Act: Proving Prejudice and Interpreting Evidence in Rajasthan
Tekijä: Fuchs, Sandhya
Julkaistu: (2022)

Automated Reasoning
Julkaistu: (2024)

Automated Reasoning
Julkaistu: (2024)

Automated Reasoning
Julkaistu: (2022)

Automated Experimentation.

Automated Translation
Tekijä: Boitet, Christian
Julkaistu: (2003)

Théorème
Tekijä: Pasolini, Pier Paolo, 1922-1975
Julkaistu: (1988)

Théorème
Tekijä: Pasolini, Pier Paolo, 1922-1975
Julkaistu: (1978)

Théorème.

Théorème
Tekijä: Hocquard, Emmanuel
Julkaistu: (2008)

Proving illicit enrichment using financial investigation and Source and Application of Funds analysis
Tekijä: Dornbierer, Andrew
Julkaistu: (2023)

Coding theorems of information theory
Tekijä: Wolfowitz, Jacob, 1910-1981
Julkaistu: (1964)

Coding Theorems of Information Theory
Tekijä: Wolfowitz, Jacob, 1910-1981

Limit Theorems of Probability Theory
Julkaistu: (2023)

Limit Theorems of Probability Theory

Automated nanohandling by microrobots
Julkaistu: (2007)

Automated Model Building
Tekijä: Caferra, Ricardo, 1945-...., auteur en informatique, et al.

Automated Highway Systems

Journal of automated reasoning.
Julkaistu: (2002)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales