2 options
Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).
LIBRA QA76.9.L63 W67 1998
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- CSL '98 (1998 : Brno, Czech Republic)
- Series:
- Lecture notes in computer science 0302-9743 ; 1584.
- Lecture notes in computer science, 0302-9743 ; 1584
- Language:
- English
- Subjects (All):
- Computer logic--Congresses.
- Computer logic.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- x, 429 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [1999]
- Summary:
- This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998.
- The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540659226
- OCLC:
- 41231621
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.