The computer modelling of mathematical reasoning :: SCD d'Orléans

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Bundy, Alan R., 1947-
বিন্যাস:	Livre papier
ভাষা:	Anglais
প্রকাশিত:	London ; New York ; Toronto \|etc.] : Academic Press 1983.
বিষয়গুলি:	Logique symbolique et mathématique Théorèmes > Démonstration automatique Mathématiques > Informatique
টীকা:	Autres tirages : 1985 (2e), 1985 (3e), 1986 (4e avec corr.)
Autres localisations:	Voir dans le Sudoc

অনুরূপ উপাদানগুলি

Theory reasoning in connection calculi
অনুযায়ী: Baumgartner, Peter, 1953-

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
অনুযায়ী: Bundy, Alan R., 1947-

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : 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
অনুযায়ী: Basin, David

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

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
অনুযায়ী: Parigot, Michel, 1956-...., mathématicien

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
অনুযায়ী: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
অনুযায়ী: Voronkov, Andrei, 1959-

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

The automation of reasoning with incomplete information : from semantic foundations to efficient computation
অনুযায়ী: Schaub, Torsten

Using sophisticated models in resolution theorem proving
অনুযায়ী: Sandford, David M., 19..-

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
অনুযায়ী: Pfenning, Frank

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

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

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings
অনুযায়ী: Gabbay, Dov M., 1945-

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

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

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

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

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

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
অনুযায়ী: Bürckert, Hans-Jürgen

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

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

Applied proof theory : proof interpretations and their use in mathematics
অনুযায়ী: Kohlenbach, Ulrich, 1962-
প্রকাশিত: (2008)

Applied proof theory : proof interpretations and their use in mathematics
অনুযায়ী: Kohlenbach, Ulrich, 1962-

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
অনুযায়ী: McCune, William Walker, 1953-, অন্যান্য

Automated deduction : CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 17, 1997 : proceedings
অনুযায়ী: 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
অনুযায়ী: 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

Isabelle : a generic theorem prover
অনুযায়ী: Paulson, Lawrence C., 1955-...., informaticien

© 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