Termination Proofs for Logic Programs - Brossura

Plumer, Lutz

 
9780387528373: Termination Proofs for Logic Programs
Brossura
ISBN 10: 0387528377 ISBN 13: 9780387528373
Casa editrice: Springer-Verlag, 1990

Sinossi

Book by Plumer Lutz

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

Editore
Springer-Verlag
Data di pubblicazione
1990
Lingua
Inglese
ISBN 10 
0387528377
ISBN 13 
9780387528373
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783540528371: Termination Proofs for Logic Programs: 446

Edizione in evidenza

ISBN 10:  3540528377 ISBN 13:  9783540528371
Casa editrice: Springer, 2008
Brossura