Automated Reasoning: Introduction and Applications

Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

ISBN 10: 0130544469 ISBN 13: 9780130544469
Edité par Prentice Hall, 1984
Langue: anglais
Neuf(s) Etat : New Couverture souple

Vendeur BooksByLisa, Highland Park, IL, Etats-Unis

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

Vendeur AbeBooks depuis 27 septembre 2022

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Prix: EUR 30,50 Autre devise
Gratuit expédition vers Etats-Unis Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier