Pastāsti draugiem par šo preci:
Handbook of Automated Reasoning Andrei Voronkov
Cena
€ 313,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 18. sept. - . gada 2. okt.
Saņemiet paziņojumus par jauniem Andrei Voronkov izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Handbook of Automated Reasoning
Andrei Voronkov
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.
1188 pages, indexes
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2001. gada 21. jūnijs |
| ISBN13 | 9780444508126 |
| Izdevēji | Elsevier Science & Technology |
| Lapas | 1188 |
| Izmēri | 165 × 240 × 60 mm · 2,07 kg |
| Redaktors | Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA) |
| Redaktors | Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.) |
