From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions - Couverture souple

Snyers, Dominique; Thayse, Andre

 
9780387182179: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Couverture souple
ISBN 10 : 0387182179 ISBN 13 : 9780387182179
Editeur : Springer Verlag, 1987

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Book by Snyers Dominique Thayse Andre

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1987
Langue
anglais
ISBN 10 
0387182179
ISBN 13 
9780387182179
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540182177: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Edition présentée

ISBN 10 :  3540182179 ISBN 13 :  9783540182177
Editeur : Springer, 2008
Couverture souple