Handbook of Automated Reasoning - Couverture rigide

Couverture rigide

ISBN 10 : 0262182211 ISBN 13 : 9780262182218

Editeur : MIT Press, 2001

Synopsis

Handbook of Automated Reasoning: Vol 1 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: MIT Press
• Date d'édition: 2001
• Langue: anglais
• ISBN 10: 0262182211
• ISBN 13: 9780262182218
• Reliure: Relié
• Nombre de pages: 981
• Éditeur: Robinson J.Alan, Voronkov Andrei
• Coordonnées du fabricant: non disponible
• Personne responsable: Purmerul LTD; https://strengholt.nl/en/; ; 22 Liuleburgaz Str., floor 4, app. 9; 0; Plovdiv; 4000; Bulgarie