Articles liés à Handbook of Automated Reasoning

Handbook of Automated Reasoning ISBN 13 : 9780444829498

Handbook of Automated Reasoning - Couverture rigide

 
9780444829498: Handbook of Automated Reasoning
Couverture rigide
ISBN 10 : 0444829490 ISBN 13 : 9780444829498
Editeur : North-Holland, 2001

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 « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
North-Holland
Date d'édition
2001
Langue
anglais
ISBN 10 
0444829490
ISBN 13 
9780444829498
Reliure
Relié
Nombre de pages
996
Éditeur
Voronkov Andrei, Robinson Alan J.A.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 996...
Afficher cet article
9780444829498: Handbook of Automated Reasoning
EUR 216,74

Autre devise

Gratuit expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9780444829498: Handbook of Automated Reasoning
EUR 170

Autre devise

EUR 11 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780262182218: Handbook of Automated Reasoning

Edition présentée

ISBN 10 :  0262182211 ISBN 13 :  9780262182218
Editeur : MIT Press, 2001
Couverture rigide

Résultats de recherche pour Handbook of Automated Reasoning

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
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

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
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

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. N° de réf. du vendeur 2037896/2

Contacter le vendeur

Acheter D'occasion

EUR 216,74
Autre devise
Frais de port : Gratuit
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier