Computational logic and proof theory : :: SCD d'Orléans

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

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

The Third Kurt G/del Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting wasto bring together researchers working in the fields of computational...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	Kurt Gödel Colloquium :Brno
Altres autors:	Gottlob, Georg, 1956- (Director editorial), Leitsch, Alexander, 1952- (Director editorial), Mundici, Daniele, 1946- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 713
Matèries:	Informatique Théorie de la démonstration Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique 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:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computational logic and proof theory, Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 1993, proceedings, Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds, Berlin, Springer-Verlag, 1993, 1 vol. (XI-348 p.), Lecture notes in computer science, 0-387-57184-1 • Computational Logic and Proof Theory, Texte imprimé, 9783662183151

Ítems similars

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

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

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

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

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.

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

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

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
per: Voronkov, Andrei, 1959-

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

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

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

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

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

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

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
per: Voronkov, Andrei, 1959-

Automated deduction in classical and non-classical logics : selected papers

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

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

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

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

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

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

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

Types for proofs and programs : third international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

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

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

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

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

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

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

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

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

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

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

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

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

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

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

© 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