Hyperproof
Language: English Series: CSLI lecture notes, no. 42Publication details: Stanford : CSLI Publications, 1994Description: xvii, 255p. ; 26 cmISBN: 1881526119Subject(s): Computer science | .Hyperproof | .Macintosh (Computer | .Logic, Symbolic and mathematicalDDC classification: 160.2855369Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Mysore University Main Library | 160.2855369 BAR.E (Browse shelf (Opens below)) | Available | 408907 |
There are no comments on this title.