Lecture notes in computer science CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
By: (2nd Workshop on Computer Science Logic Duisburg, Germany).
Contributor(s): Börger, E | Kleine Büning, H | Richter, Michael M.
Material type: BookSeries: Lecture notes in computer science. Publisher: Berlin ; New York : Springer-Verlag, 1989Description: vi, 399 p.Subject(s): Computer science -- Mathematics -- Congresses | Logic, Symbolic and mathematical -- CongressesDDC classification: 001.64 | L497 v.385 Online resources: Click here to access onlineItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Lect. Notes Comp. Sc. (Avl.Online) | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.64 L497 v.385 (Browse shelf) | Book Request | Not for loan | A106529 |
Total holds: 0
There are no comments for this item.