Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993, Selected Papers - Lecture Notes in Computer Science - Tobias Nipkow - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540580850 - 20 de maio de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

Tobias Nipkow
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993, Selected Papers - Lecture Notes in Computer Science

Preço
₪ 190,80

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

This volume contains research papers devoted to the theoretical foundations, design and application of computer systems for theory development. Such systems help to design mathematical axiomatization, perform computer-aided logical reasoning and manage databases of mathematical facts.

395 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de maio de 1994
ISBN13 9783540580850
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 395
Dimensões 155 × 233 × 21 mm   ·   566 g
Idioma Alemão  
Editor Barendregt, Henk
Editor Nipkow, Tobias
Mostrar tudo

Mais por Tobias Nipkow

Ver tudo de Tobias Nipkow ( por exemplo Paperback Book e Hardcover Book )