Povej prijatelju o tem izdelku:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| 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 )