Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings [Book Review]

&
Springer Verlag (1993)
  Copy   BIBTEX

Abstract

"The Third Kurt G.

Categories

Keywords

Reprint years

ISBN(s)

0387571841   3662183153   3540571841

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings'.G. Gottlob, Alexander Leitsch, Daniele Mundici & Kurt Gödel Society - 1997 - Springer Verlag.
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings.Matthias Baaz, Johann A. Makowsky, European Association for Computer Science Logic & Kurt Gödel Colloquium - 2003 - Springer Verlag.
A Computational Logic Handbook.Robert S. Boyer & J. Strother Moore - 1988
PX, a Computational Logic.Susumu Hayashi & Hiroshi Nakano - 1987
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings.Jörg H. Siekmann - 1986 - Springer.
Fundamentals of Computation Theory: International Conference Fct '89 Szeged, Hungary, August 21 - 25, 1989 ; Proceedings.János Csirik - 1989
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Automation in language translation and theorem proving.P. Braffort & F. van Scheepen (eds.) - 1968 - Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
Kurt Gödel: ein mathematischer Mythos.Werner de Pauli-Schimanovich & Peter Weibel - 1997 - Holder Pichler Tempsky.

Analytics

Added to PP
2015-02-13

Downloads
6 (#1,699,771)

6 months
2 (#1,691,363)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references