Pastāsti draugiem par šo preci:
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science Bundy, Alan (University of Edinburgh)
Cena
€ 152,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 23. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem Bundy, Alan (University of Edinburgh) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Tracts in Theoretical Computer Science
Bundy, Alan (University of Edinburgh)
The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.
216 pages, 1 b/w illus. 10 colour illus.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2005. gada 30. jūnijs |
| ISBN13 | 9780521834490 |
| Izdevēji | Cambridge University Press |
| Lapas | 216 |
| Izmēri | 158 × 237 × 19 mm · 475 g |
| Valoda | Angļu |
