Conte aos seus amigos sobre este 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
Preço
€ 50,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 8 - 18 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 13 de agosto de 1997 |
| ISBN13 | 9783540633853 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 355 |
| Dimensões | 156 × 234 × 19 mm · 508 g |
| Idioma | 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)