/LC.GIF&client=easterncarolinaedu)
Computer science logic : 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings / Matthias Baaz, Johann A. Makowsky (eds.).
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2003. |
| Description | xii, 590 pages : illustrations ; 24 cm. |
| Subjects |
| Other author/creator | Baaz, Matthias. |
| Other author/creator | Makowsky, Johann A., 1948- |
| Other author/creator | European Association for Computer Science Logic. Conference 2003 : Vienna University of Technology) (12th : |
| Other author/creator | Workshop on Computer Science Logic 2003 : Vienna University of Technology) (17th : |
| Other author/creator | Kurt Gödel Colloquium 2003 : Vienna University of Technology) (8th : |
| Cover title | CSL 2003. |
| Cover title | EACSL 12th Annual Conference. |
| Cover title | KGC 2003. |
| Series | Lecture notes in computer science ; 2803 Lecture notes in computer science 2803. ^A466336 |
| Bibliography note | Includes bibliographic references and index. |
| LCCN | 2003059118 |
| ISBN | 3540408010 (softcover : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.L63 C68 2003 | ✔ Available | Place Hold |