AI SearchLogical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode and Yu. V. Matiyasevich (Eds.)
Call Number: QA75.5 I58 1994 Material type:
TextSeries: Lecture notes in computer science ; no. 813Publication details: Berlin : Springer-Verlag, 1994Description: 392 pISBN: - 3540581406
| 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 I58 1994 (Browse shelf(Opens below)) | 1 | Available | 30050003166831 |
There are no comments on this title.
Log in to your account to post a comment.