Categories in computer science and logic : proceedings...
By: AMS-IMS-SIAM Joint Summer Research Conference on Categories in Computer Science and Logic Boulder.
Contributor(s): Gray, John W. [ed.] | Scedrov, Andrej [ed.] | National Science Foundation (U.S.).
Series: Contemporary Mathematics ; v.92. Publisher: Providence American Mathematical Society 1989Description: x, 382p.ISBN: 0821851004.Subject(s): Electronic Data Processing -- Mathematics -- Cong | Categories (Mathematics) -- CongDDC classification: 004.015 | Am35cItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 004.015 Am35c (Browse shelf) | Book Request | Available | A116897 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
004 W892t Theoretical issues in natural language procseeing-2 | 004 W893 WORLD INFORMATION REPORT 1997/98 | 004.01 B568 THE BLACKWELL GUIDE TO THE PHILOSOPHY OF COMPUTING AND INFORMATION | 004.015 Am35c Categories in computer science and logic | 004.0151 Ab87m Modeling in event-B | 004.0151 AL72R RANDOM GENERATION OF TREES | 004.0151 B752m Modern computer arithmetic |
Includes Bibliography.
There are no comments for this item.