/LC.GIF&client=easterncarolinaedu)
Computer science logic : 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings / Peter G. Clote, Helmut Schwichtenberg (eds.).
| Author/creator | Workshop on Computer Science Logic |
| Other author | Clote, Peter. |
| Other author | Schwichtenberg, Helmut, 1942- |
| Other author | European Association for Computer Science Logic. Conference 2000 : Fischbachau, Germany) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2000. |
| Description | xiii, 541 pages : illustrations ; 24 cm. |
| Subjects |
| Spine title | CSL 2000, computer science logic |
| Series | Lecture notes in computer science ; 1862 Lecture notes in computer science 1862. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 00061196 |
| ISBN | 3540678956 (alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.L63 W67 2000 | ✔ Available | Place Hold |