Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Grāmatas - Createspace - 9781468059106 - 2012. gada 23. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Implementing Mathematics with the Nuprl Proof Development System

Cena
€ 19,49

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

Paredzamā piegāde . gada 1. - 15. jūn.
Pievienot savam iMusic vēlmju sarakstam
Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2012. gada 23. janvāris
ISBN13 9781468059106
Izdevēji Createspace
Lapas 310
Izmēri 152 × 229 × 17 mm   ·   417 g

Skatīt visus R L Constable ( piem., Paperback Book )