Shelfclass_id | 3.A |
Sortkey | CSL |
Authors | G Gottlob, Etienne Grandjean, Katrin Seyr |
Title | CSL '98: Computer Science Logic: 12th International Workshop, CSL '98: annual conference of the EACSL, Brno, Czech Republic, August, 1998: proceedings |
Publisher | Springer-Verlag |
Year | 1999 |
Languages | eng |
Isbn | 3540659226 |
Series | Lecture Notes in Computer Science |
Volume | 1584 |
Issn | 0302-9743 |
Description | (softcover: alk. paper) xv, 429 p. ill. 23 cm. |
Record date | 20080204 |
Location | New York |
Keywords | Computer logic |