First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Livre 28 sur 83: Texts in Computer Science

Fitting, Melvin

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

Vendu par Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni

Vendeur AbeBooks depuis 28 avril 2005

É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 103,93
EUR 12,07 expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier