From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12 de agosto de 1987
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de 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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de agosto de 1987
ISBN13 9783540182177
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 125
Dimensiones 155 × 233 × 7 mm   ·   199 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de D. Snyers ( Ej. Paperback Book )