Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland / sponsored by The Computer Society's Technical Committee on Mathematical Foundations of Computing
Material type:
TextPublication details: Washington : IEEE Computer Society Press, 1988Description: 436 pOther title: - Logic in computer science
- QA75.5 S9574 1988
| 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 | QA75.5 S9574 1988 (Browse shelf(Opens below)) | 1 | Available | 30050003166708 |
There are no comments on this title.
Log in to your account to post a comment.

AI Search