Tell your friends about this item:
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997: Proceedings - Lecture Notes in Computer Science
Georg Gottlob
Price
Íkr 6,809
excl. VAT
Ordered from remote warehouse
Expected delivery Aug 6 - 14
Our customers say:
Add to your iMusic wish list
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997: Proceedings - Lecture Notes in Computer Science
Georg Gottlob
The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC '97. This volume 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.
355 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 13, 1997 |
| ISBN13 | 9783540633853 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 355 |
| Dimensions | 156 × 234 × 19 mm · 508 g |
| Language | German |
| Editor | Gottlob, Georg |
| Editor | Leitsch, Alexander |
| Editor | Mundici, Daniele |
![Cover for Georg Gottlob · Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science (Paperback Book) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/841/9783540571841.jpg?georg-gottlob-1993-computational-logic-and-proof-theory-third-kurt-goedel-colloquium-kgc-93-brno-czech-republic-august-24-27-1993-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1607059871)
![Cover for Georg Gottlob · Expert Systems in Engineering: Principles and Applications: Principles and Applications - Lecture Notes in Computer Science (Paperback Book) [1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/043/9783540531043.jpg?georg-gottlob-1990-expert-systems-in-engineering-principles-and-applications-principles-and-applications-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1604742201)