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

Snyers, Dominique; Thayse, Andre

 
9780387182179: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions: 271
Brossura
ISBN 10: 0387182179 ISBN 13: 9780387182179
Casa editrice: Springer Verlag, 1987

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Book by Snyers Dominique Thayse Andre

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Verlag
Data di pubblicazione
1987
Lingua
Inglese
ISBN 10 
0387182179
ISBN 13 
9780387182179
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540182179 ISBN 13:  9783540182177
Casa editrice: Springer, 2008
Brossura