Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /

Show other versions (2)
Bibliographic Details
Main Author: Gottlob, G (Georg)
Corporate Author: SpringerLink (Online service)
Other Authors: Leitsch, Alexander, Mundici, Daniele
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997
Series:Lecture notes in computer science, 1289
Subjects:
Artificial intelligence
Computer science
Computer software
Logic, Symbolic and mathematical
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Computer Science
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items