From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions: 271 (Lecture Notes in Computer Science) - Tapa blanda

Snyers, Dominique; Thayse, Andre

 
9780387182179: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions: 271 (Lecture Notes in Computer Science)
Tapa blanda
ISBN 10: 0387182179 ISBN 13: 9780387182179
Editorial: Springer Verlag, 1987

Esta edición ISBN ya no está disponible.

Sinopsis

Book by Snyers Dominique Thayse Andre

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer Verlag
Año de publicación
1987
Idioma
Inglés
ISBN 10 
0387182179
ISBN 13 
9780387182179
Encuadernación
Tapa blanda
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783540182177: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions: 271 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540182179 ISBN 13:  9783540182177
Editorial: Springer, 2008
Tapa blanda