Handbook of Automated Reasoning: Vol 1 (BOK)

1 959,00 1 95900
Sendes vanligvis innen 5-15 dager
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.

Produktfakta

Språk Engelsk Engelsk Innbinding Heftet
Utgitt 2001 Forlag
ELSEVIER
ISBN 9780444829498 Antall sider 996
Dimensjoner 16,5cm x 24cm x 5,2cm Vekt 1769 gram
Leverandør Bertram Trading Ltd Andre medvirkende Alan J.A. Robinson, Andrei Voronkov
Emner og form Mathematical theory of computation