Eléments de géométrie mécanique :: SCD d'Orléans

Eléments de géométrie mécanique

Eléments de géométrie mécanique

Guardat en:

Dades bibliogràfiques
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Hermès DL 1994.
Col·lecció:	Langue, raisonnement, calcul
Matèries:	Programmation géométrique Géométrie Théorèmes > Démonstration automatique
Autres localisations:	Voir dans le Sudoc

Ítems similars

Connaître et reconnaître les théorèmes de la géométrie

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

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

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

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
per: Wang, Dongming, 1961-...., mathématicien

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

Variations et variables de la démonstration géométrique

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

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
per: Zwiers, Job, 19..-

Analyse mathématique : grands théorèmes du vingtième siècle
per: Choimet, Denis, 19..-, et al.
Publicat: (2009)

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

Les rôles du langage dans la recherche d'une démonstartion en géométrie plane

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

Types for proofs and programs : International Workshop TYPES '94 Båstad, Sweden, June 6 10, 1994 : selected papers

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

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

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27 30, 2002 : 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-

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
per: Lauer, Peter E., 1934-

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

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

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
per: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
per: Kakas, Antonis C.

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

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

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

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

Correct system design : recent insights and advances
per: Steffen, Bernhard, 1956-

Isabelle/HOL : a proof assistant for higher-order logic
per: Nipkow, Tobias, 1958-..., informaticien, et al.

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

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

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

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

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

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

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

© 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