Pastāsti draugiem par šo preci:
The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science Wolfram, D. A. (University of Oxford)
Cena
€ 89,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 27. nov. - . gada 11. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Wolfram, D. A. (University of Oxford) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science
Wolfram, D. A. (University of Oxford)
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
134 pages, d.tabs.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1993. gada 22. aprīlis |
| ISBN13 | 9780521395380 |
| Izdevēji | Cambridge University Press |
| Lapas | 134 |
| Izmēri | 177 × 254 × 11 mm · 406 g |
| Valoda | Angļu |
