Computational Logic and Proof Theory 5th Kurt Gödel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : Proceedings - Lecture Notes in Computer Science

Kurt Gödel Colloquium, G. Gottlob, Alexander Leitsch, Daniele Mundici

1997

Paperback (13 Aug 1997)

$63.34

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's 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.

Book information

ISBN:	9783540633853
Publisher:	Springer Berlin Heidelberg
Imprint:	Springer
Pub date:	13 Aug 1997
Edition:	1997
DEWEY:	511.3
DEWEY edition:	21
Language:	English
Number of pages:	348
Weight:	1130g
Height:	234mm
Width:	156mm
Spine width:	19mm