Pastāsti draugiem par šo preci:
Handbook of Practical Logic and Automated Reasoning John Harrison
Cena
€ 178,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 1. - 15. sept.
Saņemiet paziņojumus par jauniem John Harrison izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Handbook of Practical Logic and Automated Reasoning
John Harrison
A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).
702 pages, 10 tables 155 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2009. gada 12. marts |
| ISBN13 | 9780521899574 |
| Izdevēji | Cambridge University Press |
| Lapas | 702 |
| Izmēri | 179 × 252 × 42 mm · 1,41 kg |
| Valoda | Angļu |
Vairāk no John Harrison
Rādīt visu
![Cover for John Harrison · Study Skills for Criminology - Sage Study Skills Series (Hardcover Book) [2 Revised edition] (2011)](https://imusic.b-cdn.net/images/item/original/935/9781849207935.jpg?john-harrison-2011-study-skills-for-criminology-sage-study-skills-series-hardcover-book&class=scaled&v=1415886772)
Vairāk no tā paša izdevēja
Skatīt visus John Harrison ( piem., Paperback Book , Hardcover Book , Book , LP un DVD )