Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science - Georg Gottlob - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540571841 - 13 de agosto de 1993
Caso a capa e o título não sejam correspondentes, considere o título como correto

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
NZD 99,64

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 19 de ago
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

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

Mostrar tudo

Mais por Georg Gottlob