The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science - Wolfram, D. A. (University of Oxford) - Grāmatas - Cambridge University Press - 9780521117906 - 2009. gada 30. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Wolfram, D. A. (University of Oxford)
The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science

Cena
€ 46,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 19. nov. - . gada 3. 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:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

136 pages, black & white illustrations

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2009. gada 30. jūlijs
ISBN13 9780521117906
Izdevēji Cambridge University Press
Lapas 136
Izmēri 170 × 244 × 7 mm   ·   230 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Wolfram, D. A. (University of Oxford)