Handbook of Automated Reasoning - Couverture rigide

 
9780262182218: Handbook of Automated Reasoning
Couverture rigide
ISBN 10 : 0262182211 ISBN 13 : 9780262182218
Editeur : MIT Press, 2001

L'édition de cet ISBN n'est malheureusement plus disponible.

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.

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

É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

Autres éditions populaires du même titre

9780444829498: Handbook of Automated Reasoning

Edition présentée

ISBN 10 :  0444829490 ISBN 13 :  9780444829498
Editeur : North-Holland, 2001
Couverture rigide