Items related to Computational Logic and Proof Theory: 5th Kurt Gödel...
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289) - Softcover
Synopsis
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 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1997
- ISBN 10 3540633855
- ISBN 13 9783540633853
- BindingPaperback
- LanguageEnglish
- Number of pages364
- EditorGottlob Georg, Leitsch Alexander, Mundici Daniele
Search results for Computational Logic and Proof Theory: 5th Kurt Gödel...
Seller Image
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4973235-n
Quantity: Over 20 available
Stock Image
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020172950
Quantity: Over 20 available
Seller Image
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 4973235
Quantity: Over 20 available
Stock Image
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540633853_new
Quantity: Over 20 available
Seller Image
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4973235-n
Quantity: Over 20 available
Seller Image
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Published by
Springer Berlin Heidelberg, 1997
ISBN 10: 3540633855
ISBN 13: 9783540633853
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity. Seller Inventory # 9783540633853
Quantity: 1 available
Seller Image
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 4973235
Quantity: Over 20 available
Stock Image
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings (Lecture Notes in Computer Science)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock. Seller Inventory # x-3540633855
Quantity: 2 available
Seller Image
Computational Logic and Proof Theory
Published by
Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633855
ISBN 13: 9783540633853
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity. 364 pp. Englisch. Seller Inventory # 9783540633853
Quantity: 2 available
Seller Image
Computational Logic and Proof Theory
Published by
Springer Berlin Heidelberg, 1997
ISBN 10: 3540633855
ISBN 13: 9783540633853
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. This book constitutes the refereed proceedings of the 5th Kurt Goedel Colloquium on Computational Logic and Proof Theory, KGC 97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also . Seller Inventory # 4896313
Quantity: Over 20 available