Implementing Mathematics with The Nuprl Proof Development System
- Criticism of the Works of Novelists, Poets, Playwrights, Short-Story Writers, and Other Creative Writers Who Liv
- Format
- Bog, paperback
- Engelsk
- 310 sider
Normalpris
kr. 149,95
Medlemspris
kr. 134,95
- Du sparer kr. 15,00
- Fri fragt
-
Leveringstid: 7-12 Hverdage (Sendes fra fjernlager) Forventet levering: 06-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area Present research which has arisen as we have worked on the Nuprl system
Detaljer
- SprogEngelsk
- Sidetal310
- Udgivelsesdato23-01-2012
- ISBN139781468059106
- Forlag CreateSpace Independent Publishing Platform
- FormatPaperback
- Udgave0
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.