Symposium on automatic demonstration : :: SCD d'Orléans

Symposium on automatic demonstration : held at Versailles-France, December 1968

Symposium on automatic demonstration : held at Versailles-France, December 1968

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	Symposium on automatic demonstration :Versailles
Altres autors:	Schützenberger, Marcel Paul, 1920-1996 (Director editorial), Lacombe, Daniel, 1925-2016, mathématicien (Director editorial), Nolin, Louis, ....-1997 (Director editorial), Laudet, Michel, 1900-2003 (Director editorial)
Format:	Livre numérique
Idioma:	Anglais Français
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in mathematics 125
Matèries:	Théorèmes > Démonstration automatique Mathématiques > Informatique Commande automatique Logique symbolique et mathématique Mathématiques Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Textes en français ou en anglais Colloque international sur la démonstration automatique, organisé par l'Institut de recherche d'informatique et d'automatique. Autre contribution : M. Schützenberger (éditeur) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Symposium on automatic demonstration, held at Versailles-France, December 1968, edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.], 1970, Berlin, Springer-Verlag, 1 vol. (310 p.), Lecture notes in mathematics, 0-387-04914-2 • Symposium on Automatic Demonstration, Texte imprimé, 9783662170755

Ítems similars

Symposium on automatic demonstration : held at Versailles-France, December 1968
Publicat: (1970)

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

6th Conference on Automated Deduction, New York, USA, June 7 9, 1982

The computer modelling of mathematical reasoning
per: Bundy, Alan R., 1947-
Publicat: (1983)

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

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
per: Bundy, Alan R., 1947-

Automated deduction : CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 17, 1997 : proceedings
per: McCune, William Walker, 1953-

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7 10, 1999 : proceedings

Automated deduction in classical and non-classical logics : selected papers

Automated deduction : Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
per: McRobbie, Michael A., 1950-

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5 10, 1998 : proceedings

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

8th International conference on automated deduction : Oxford, England, July 27 August 1, 1986 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June 7-11, 1999 : proceedings

Automated deduction : CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
per: Kapur, Deepak

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
per: Stickel, Mark E.

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
per: Parigot, Michel, 1956-...., mathématicien

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

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
per: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
per: Voronkov, Andrei, 1959-

Mathematical knowledge management : Second international conference MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
per: 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
per: Baumgartner, Peter, 1953-

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Theory reasoning in connection calculi
per: Baumgartner, Peter, 1953-

A resolution principle for a logic with restricted quantifiers
per: Bürckert, Hans-Jürgen

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
per: Pfenning, Frank

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Types for proofs and programs : International Workshop, TYPES 2000 Durham, UK, December 8 12, 2000 : selected papers

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
per: Basin, David

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

© 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