Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Bledsoe, W. W.
ISBN 10:
082185027X ISBN 13:
9780821850275
Edité par Amer Mathematical Society, 1984
Langue: anglais
Neuf(s)
Etat : New
Couverture souple
Vendu par Ria Christie Collections, Uxbridge, Royaume-Uni
Vendeur AbeBooks depuis 25 mars 2015
Neuf(s) - Couverture souple
Etat : New
Prix:
EUR 174,14
Autre devise
EUR 4,67
expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Quantité disponible : 2 disponible(s)
Ajouter au panier