Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York :
Springer,
[1998]
|
| Series: | Lecture notes in computer science ;
1414. |
| Subjects: |
Remote Storage
| Call Number: |
QA76.9.L63 W67 1997 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA76.9.L63 W67 1997 | Available | |