Implementing mathematics with the nuprl proof development system
Material type: TextCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 519.688 CON (Browse shelf (Opens below)) | Available | 24153 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
519.68 PHI The NAG Library | 519.682 SIP Parsing theory | 519.682 SIP Parsing theory | 519.688 CON Implementing mathematics with the nuprl proof development system | 519.688 HOF Probabilistic analysis of algorithms | 519.69 VAN Geometry of information retrieval | 519.7 ACZ On measures of information and their characterizations |
D6,8(B) M632
There are no comments on this title.