Knygos.lt nariams
465,56 €
-30%
Įprastai
665,09 €
Handbook of Automated Reasoning
Knygos.lt nariams
465,56 €
-30%
Įprastai
665,09 €
- Išsiųsime per 12–18 d.d.
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.
/images/books/3468861/9780444508126.jpg)
- Leidėjas: North-Holland
- ISBN-10: 0444508120
- ISBN-13: 9780444508126
- Formatas: 17 x 24.4 x 6.1 cm, kieti viršeliai
- Kalba: Anglų
Handbook of Automated Reasoning (el. knyga) (skaityta knyga) | knygos.lt
Atsiliepimai
Aprašymas
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.
Knygos.lt nariams
465,56 €
-30%
Įprastai
665,09 €
Išsiųsime per 12–18 d.d.
- Leidėjas: North-Holland
- ISBN-10: 0444508120
- ISBN-13: 9780444508126
- Formatas: 17 x 24.4 x 6.1 cm, kieti viršeliai
- Kalba: Anglų
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.
Atsiliepimai