Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Computational Logic and Proof Theory - 5th Kurt Goedel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Paperback, 1997 ed.) Loot Price: R1,737

Discovery Miles 17 370

Repayment Terms: R163 pm x 12*

Add to cart

Computational Logic and Proof Theory - 5th Kurt Goedel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997,...

Computational Logic and Proof Theory - 5th Kurt Goedel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Paperback, 1997 ed.)

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Series: Lecture Notes in Computer Science, 1289

(sign in to rate)

Loot Price R1,737 Discovery Miles 17 370 | Repayment Terms: R163 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1289
Release date:	August 1997
First published:	1997
Editors:	Georg Gottlob • Alexander Leitsch • Daniele Mundici
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	355
Edition:	1997 ed.
ISBN-13:	978-3-540-63385-3
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-540-63385-5
Barcode:	9783540633853