LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.

PLUMER Lutz.

ISBN 10: 0387528377 ISBN 13: 9780387528373
Edité par Springer-Verlag, 1990
Langue: anglais
Etat : Occasion Couverture souple

Vendu par Libros Ambigú, Madrid, M, Espagne

Vendeur AbeBooks depuis 4 septembre 2014

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture souple

Etat : Normal

Prix:
EUR 4,20
Expédition à EUR 31
Expédition depuis Espagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier