Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Knjige - Createspace - 9781468059106 - 23. januarja 2012
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Implementing Mathematics with the Nuprl Proof Development System

Cena
€ 17,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 3. - 17. jun
Dodaj na svoj seznam želja iMusic
Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 23. januarja 2012
ISBN13 9781468059106
Založniki Createspace
Strani 310
Dimenzije 152 × 229 × 17 mm   ·   417 g

Ogled vseh R L Constable ( Na primer Paperback Book )