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
Buchpark GmbH
gpsr@buchpark.de

Krügerweg 1
Trebbin
Brandenburg
14959
Allemagne

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