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

by Georg Gottlob

This book constitutes the refereed proceedings of the 5th Kurt G del Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540633855
• ISBN13: 9783540633853
• Release Date: August 1997
• Publisher: Springer
• Length: 355 Pages
• Weight: 1.12 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"