First-Order Logic and Automated Theorem Proving

Livre 28 sur 83: Texts in Computer Science

Fitting, Melvin

ISBN 10: 0387945938 ISBN 13: 9780387945934
Edité par Springer, New York, NY, 1995
Langue: anglais
Etat : Occasion - Satisfaisant Couverture rigide

Vendu par True Oak Books, Highland, NY, Etats-Unis

Membre d'association :

Vendeur AbeBooks depuis 5 novembre 2021

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

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Satisfaisant

Prix:
EUR 89,29
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier