Analyse mathématique : :: SCD d'Orléans

$Analyse mathématique : grands théorèmes du vingtième siècle$

Analyse mathématique : grands théorèmes du vingtième siècle

Salvato in:

Dettagli Bibliografici
Autori principali:	Choimet, Denis, 19..-, Queffélec, Hervé, 19..-...., mathématicien (Autore)
Altri autori:	Godefroy, Gilles, 1953-...., mathématicien (Autore dell'introduzione etc.)
Natura:	Livre papier
Lingua:	Français
Pubblicazione:	Paris : Calvage & Mounet DL 2009.
Serie:	Tableau noir 104
Soggetti:	Analyse mathématique > Fondements Théorèmes > Démonstration automatique
Nota:	La couv. porte en plus : "De la collaboration Hardy-Littlewood", "Théorèmes taubériens", "Des probabilités en analyse", "Somme d'exponentielles", "Théorème de la couronne de Carleson"
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

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

Applied proof theory : proof interpretations and their use in mathematics
di: Kohlenbach, Ulrich, 1962-
Pubblicazione: (2008)

Applied proof theory : proof interpretations and their use in mathematics
di: Kohlenbach, Ulrich, 1962-

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

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

Isabelle : a generic theorem prover
di: Paulson, Lawrence C., 1955-...., informaticien

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Automated deduction : CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 17, 1997 : proceedings
di: 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

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

Automated deduction : Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
di: 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

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

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

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
di: Kapur, Deepak

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

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

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

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

Term indexing
di: Graf, Peter, 1966-

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

© 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