Handbook of Automated Reasoning - Couverture rigide

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.

Détails de l'édition

• É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