Implementing Mathematics with the Nuprl Proof Development System - (Robert L. Constable
-40% koodiga BOOKS
Saadetis 10-16 tööpäeva jooksul
30-päevane tagastamisõigus
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
Võib-olla meeldib sulle ka
Kirjeldus
- 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
Lisateave
| Autor | (Robert L. Constable |
|---|---|
| Kirjastaja | CreateSpace Independent Publishing Platform |
| Väljalaskeaasta | 2012 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9781468059106 |