/LC.GIF&client=easterncarolinaedu)
Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki (eds.).
| Author/creator | Workshop on Computer Science Logic |
| Other author | Marcinkowski, Jerzy. |
| Other author | Tarlecki, Andrzej. |
| Other author | European Association for Computer Science Logic. Conference 2004 : Karpacz, Poland) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, 2004. |
| Description | xi, 520 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to Springer LINK subscribers |
| Subjects |
| Portion of title | CSL 2004 |
| Series | Lecture notes in computer science ; 3210 Lecture notes in computer science 3210. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 2004111518 |
| ISBN | 3540230246 (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.L63 C68 2004 | ✔ Available | Place Hold |