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 |
D6,8(B) M632
There are no comments on this title.