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

The Third Kurt Gdel 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 l...

Full description

Bibliographic Details
Corporate Authors:	Kurt Gödel Colloquium Brno, Czech Republic, SpringerLink (Online service), Kurt Gödel Society
Other Authors:	Gottlob, G. (Georg), Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1993.
Series:	Lecture notes in computer science ; 713.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Théorèmes > Démonstration automatique > Congrès. Logique symbolique et mathématique > Congrès. Logica. Kunstmatige intelligentie. Computer science. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Artificial Intelligence (incl. Robotics) Automatic theorem proving. Logic, Symbolic and mathematical. Electronic books. Congressen (vorm) Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Published 1993

Conference Proceeding Book