
Fortæl dine venner om denne vare:
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
Pris
₺ 2.858,75
Bestilles fra fjernlager
Forventes klar til forsendelse 11. - 15. aug.
Tilføj til din iMusic ønskeseddel
Eller
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
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 13. august 1997 |
ISBN13 | 9783540633853 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 355 |
Mål | 156 × 234 × 19 mm · 508 g |
Sprog | Tysk |
Klipper/redaktør | Gottlob, Georg |
Klipper/redaktør | Leitsch, Alexander |
Klipper/redaktør | Mundici, Daniele |