/LC.GIF&client=easterncarolinaedu)
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.).
| Author/creator | Workshop on Computer Science Logic |
| Other author | Kleine Büning, H. (Hans) |
| Other author | European Association for Computer Science Logic. Conference 1995 : Paderborn, Germany) |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1996. |
| Description | viii, 485 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 1092 Lecture notes in computer science 1092. ^A466336 |
| General note | CSL'95 was the fourth to be held as the Annual Conference of the EACSL. |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 96023718 |
| ISBN | 3540613773 (softcover : alk. paper) |