Automated Theorem Proving After 25 Years
Bledsoe, W. W./ Loveland, Donald W. (Editor)
ISBN 10:
082185027X ISBN 13:
9780821850275
Edité par Amer Mathematical Society, 1984
Langue: anglais
Neuf(s)
Etat : Brand New
Couverture souple
Vendu par Revaluation Books, Exeter, Royaume-Uni
Vendeur AbeBooks depuis 6 janvier 2003
Évaluation du vendeur 5 sur 5 étoiles
Neuf(s) - Couverture souple
Etat : Brand New
Prix:
EUR 106,96
Autre devise
EUR 11,71
expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Quantité disponible : 1 disponible(s)
Ajouter au panier
