Computational logic and proof theory
Subtitle: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
By: Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
Contributors: Gottlob, G.; Leitsch, Alexander, 1952-; Mundici, Daniele, 1946-; Kurt Gödel Society.
Series: Lecture notes in computer science ;; 713
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 348
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.
Sponsored by Kurt Gödel Society.