Automated Theorem Proving : After 25 Years

W. W Bledsoe

ISBN 10: 082185027X ISBN 13: 9780821850275
Edité par American Mathematical Society Dez 1984, 1984
Langue: anglais
Neuf(s) Etat : Neu Couverture souple

Vendu par AHA-BUCH GmbH, Einbeck, Allemagne

Vendeur AbeBooks depuis 14 août 2006

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

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Etat : Neu

Prix: EUR 183,81 Autre devise
EUR 10,99 expédition depuis Allemagne vers France Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier