Handbook of Automated Reasoning

Robinson, J. A. (EDT); Robinson, Alan; Voronkov, Andrei (EDT)

ISBN 10: 0444829490 ISBN 13: 9780444829498
Edité par North Holland, 2001
Neuf(s) Couverture rigide

Vendeur GreatBookPrices, Columbia, MD, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 6 avril 2009

A propos de cet article

Description :

N° de réf. du vendeur 684925-n

Signaler cet article

Synopsis :

This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Handbook of Automated Reasoning
Éditeur : North Holland
Date d'édition : 2001
Reliure : Couverture rigide
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Alan Robinson
Edité par Elsevier Science, 2001
ISBN 10 : 0444829490 ISBN 13 : 9780444829498
Neuf Couverture rigide
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

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

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. 996 pp. Englisch. N° de réf. du vendeur 9780444829498

Contacter le vendeur

Acheter neuf

EUR 170
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Alan Robinson
Edité par Elsevier Science, 2001
ISBN 10 : 0444829490 ISBN 13 : 9780444829498
Neuf Couverture rigide
impression à la demande

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

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

Buch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. N° de réf. du vendeur 9780444829498

Contacter le vendeur

Acheter neuf

EUR 176,09
EUR 69,85 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Unbekannt
ISBN 10 : 0444829490 ISBN 13 : 9780444829498
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

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

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 2037896/2

Contacter le vendeur

Acheter D'occasion

EUR 195,07
EUR 105 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Voronkov, Andrei
Edité par North Holland, 2001
ISBN 10 : 0444829490 ISBN 13 : 9780444829498
Neuf Couverture rigide

Vendeur : GoldBooks, Denver, CO, Etats-Unis

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

Etat : new. N° de réf. du vendeur 83V46_58_0444829490

Contacter le vendeur

Acheter neuf

EUR 929,50
EUR 3,62 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier