Handbook of Automated Reasoning: Vol 2 (BOK)

2 119,00 2 11900
Sendes vanligvis innen 5-15 dager
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Produktfakta

Språk Engelsk Engelsk Innbinding Innbundet
Utgitt 2001 Forlag
Elsevier Science & Technology
ISBN 9780444508126 Antall sider 1188
Dimensjoner 16,5cm x 24cm x 6cm Vekt 2064 gram
Leverandør Bertram Trading Ltd Andre medvirkende Alan J.A. Robinson, Andrei Voronkov
Emner og form Mathematical theory of computation