661,85 €
735,39 €
-10% with code: EXTRA
Handbook of Automated Reasoning
661,85 € 
- We will send in 10–14 business days.
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.
735.39
/images/books/3468861/9780444508126.jpg)
- Publisher: North-Holland
- ISBN-10: 0444508120
- ISBN-13: 9780444508126
- Format: 17 x 24.4 x 6.1 cm, kieti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Handbook of Automated Reasoning (e-book) (used book) | bookbook.eu
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
661,85 €
735,39 €
We will send in 10–14 business days.
The promotion ends in 21d.10:34:20
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Publisher: North-Holland
- ISBN-10: 0444508120
- ISBN-13: 9780444508126
- Format: 17 x 24.4 x 6.1 cm, kieti viršeliai
- Language: English English
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.
Reviews