Termination Proofs for Logic Programs - Couverture souple

Plumer, Lutz

 
9780387528373: Termination Proofs for Logic Programs
Couverture souple
ISBN 10 : 0387528377 ISBN 13 : 9780387528373
Editeur : Springer-Verlag, 1990

Synopsis

Book by Plumer Lutz

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

Éditeur
Springer-Verlag
Date d'édition
1990
Langue
anglais
ISBN 10 
0387528377
ISBN 13 
9780387528373
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540528371: Termination Proofs for Logic Programs

Edition présentée

ISBN 10 :  3540528377 ISBN 13 :  9783540528371
Editeur : Springer, 2008
Couverture souple