Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Knihy - Createspace - 9781468059106 - 23. januára 2012
V prípade, že obal a názov nesedia, platí názov

Implementing Mathematics with the Nuprl Proof Development System

Cena
€ 18,99

Objednané zo vzdialeného skladu

Očakávané doručenie 5. - 19. jún
Pridať do vášho zoznamu prianí na iMusic
Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 23. januára 2012
ISBN13 9781468059106
Vydavatelia Createspace
Strany 310
Rozmery 152 × 229 × 17 mm   ·   417 g