Conte aos seus amigos sobre este item:
Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science 1993 edition
Georg Gottlob
Preço
CA$ 81,61
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 11 - 19 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science 1993 edition
Georg Gottlob
The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.
365 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 13 de agosto de 1993 |
| ISBN13 | 9783540571841 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 354 |
| Dimensões | 216 × 279 × 19 mm · 526 g |
| Idioma | German |
| Editor | Gottlob, Georg |
| Editor | Leitsch, Alexander |
| Editor | Mundici, Daniele |
![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)