From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12 de agosto de 1987
Caso a capa e o título não sejam correspondentes, considere o título como correto

D. Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science 1987 edition

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 15 - 23 de jun

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 work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.

125 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 12 de agosto de 1987
ISBN13 9783540182177
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 125
Dimensões 155 × 233 × 7 mm   ·   199 g
Idioma Inglês  

Mere med samme udgiver

Ver tudo de D. Snyers ( por exemplo Paperback Book )