Povedzte o tejto položke priateľom:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| 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 |
Pozrieť všetko od R L Constable ( napr. Paperback Book )