Synopsis
Book by Plumer Lutz
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Termination Proofs for Logic Programs
Image d'archives
Termination Proofs for Logic Programs
Edité par
Springer, 1990
ISBN 10 : 0387528377
ISBN 13 : 9780387528373
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 56596584-6
Acheter D'occasion
EUR 23,05
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.
Edité par
Springer-Verlag, 1990
ISBN 10 : 0387528377
ISBN 13 : 9780387528373
Ancien ou d'occasion
Couverture souple
Vendeur : Libros Ambigú, Madrid, M, Espagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : Normal. Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1 Normal. N° de réf. du vendeur 800010980
Acheter D'occasion
EUR 4,50
Expédition à EUR 31
Expédition depuis Espagne vers Etats-Unis
Expédition depuis Espagne vers Etats-Unis
Quantité disponible : 1 disponible(s)