Computational Logic and Proof Theory
Subtitle: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Georg Gottlob (Editor); Alexander Leitsch (Editor); Daniele Mundici (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 19, 1997
Language: eng
Format: Paperback
Number of pages: 348
ISBN-13: 9783540633853
Subjects: Artificial intelligence; General Theory of Computing; Mathematical logic; Programming languages; Logic, Symbolic and mathematical; Computer Science; Science/Mathematics; Automata; Computer Logic; Computers; Mathematics; Logic, Symbolic and mathematic; Logic; Artificial Intelligence - General; Complexity Theory; Computational Logic; Mathematics / Logic; Nonclassical Logics; Proof Analysis; Proof Theory; Automatic theorem proving; Congresses