AI SearchCSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning and M. M. Richter (Eds.)
Material type:
TextSeries: Lecture notes in computer science ; no. 329Publication details: Berlin : Springer-Verlag, 1988Description: 346 pSubject(s): LOC classification: - QA76.9 M35 W67 1987
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 14-General Book | Asian Institute of Technology Library General Collection | QA76.9 M35 W67 1987 (Browse shelf(Opens below)) | 1 | Available | 30050003182473 |
There are no comments on this title.
Log in to your account to post a comment.