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 |
![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 Bog) [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-bog&class=scaled&v=1607059871)
![Cover for Georg Gottlob · Expert Systems in Engineering: Principles and Applications: Principles and Applications - Lecture Notes in Computer Science (Paperback Bog) [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-bog&class=scaled&v=1604742201)