Automated deduction in geometry : :: SCD d'Orléans

$Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers$

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double rev...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Wang, Dongming, 1961-...., mathématicien
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science. Lecture notes in artificial intelligence 1360
Matèries:	Informatique Algorithmes Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Géométrie > Informatique Géométrie 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:	Actes d'un séminaire tenu à Toulouse du 27 au 29 septembre 1996, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated deduction in geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers, Dongming Wang (ed.), 1998, New York, Springer, 1 vol. (234 p.), Lecture notes in computer science, 3-540-64297-8 • Automated Deduction in Geometry, Texte imprimé, 9783662166192

Ítems similars

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

Automated deduction in geometry : Second International Workshop, ADG 98, Beijing, China, August 1 3, 1998 : proceedings

Automated deduction in equational logic and cubic curves
per: McCune, William Walker, 1953-, et al.

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

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-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-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
per: Kapur, Deepak

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

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

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

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

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27 30, 2002 : proceedings

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

Instantiation theory : on the foundations of automated deduction
per: Williams, James G., 1939-

Automated deduction CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 August 2, 2003 : proceedings

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

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

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

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

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

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

From logic design to logic programming : theorem proving techniques and P-functions
per: Snyers, Dominique, et al.

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : 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-

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

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

Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
per: Galmiche, Didier, 1958-

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

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : proceedings

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

Eléments de géométrie mécanique
Publicat: (1994)

The Kepler conjecture : the Hales-Ferguson proof
per: Lagarias, Jeffrey C., 1949-...., mathématicien

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

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 August 1, 2002 : proceedings

The Kepler conjecture : the Hales-Ferguson proof
per: Lagarias, Jeffrey C., 1949-
Publicat: (2011)

© 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