The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

Livre 27 sur 27: Computational Intelligence

Plaisted, David A.

ISBN 10: 352805574X ISBN 13: 9783528055745
Edité par Vieweg+Teubner Verlag
Langue: allemand
Etat : Occasion - Satisfaisant Couverture souple

Vendu par Buchmarie, Darmstadt, Allemagne

Vendeur AbeBooks depuis 21 juin 2021

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

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture souple

Etat : Occasion - Satisfaisant

Prix:
EUR 36,68
Expédition à EUR 42
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier