Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Implementing Mathematics With the Nuprl Proof Development System

Författare:
engelska
15,80 €

Författare
R. L. Constable
ISBN
9781468059106
Språk
engelska
Vikt
281 gram
Utgivningsdatum
23.1.2012
Sidor
310