Automated reasoning with analytic tableaux and related methods : :: SCD d'Orléans

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

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

Enregistré dans:

書目詳細資料
企業作者:	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods :Copenhague, Danemark
其他作者:	Egly, Uwe (Directeur de la publication), Fermüller, Christian G. (Directeur de la publication)
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science. Lecture notes in artificial intelligence 2381
主題:	Génie logiciel Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
在線閱讀:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
提示:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002, Proceedings, Uwe Egly, Christian G. Fernmüller (eds.), Berlin, Springer, 2002, 1 vol. (X-339 p.), Lecture notes in computer science, 3-540-43929-3 • Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783662181591

相似書籍

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : 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 reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : 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 : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
由: Galmiche, Didier, 1958-

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 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 : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

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

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

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

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

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

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

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

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

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

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

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

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

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

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

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

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

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

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

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
由: Slind, Konrad

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

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

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

Automated deduction in equational logic and cubic curves
由: McCune, William Walker, 1953-, et autres

© 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