Lecture Notes in Computer Science

Computer Science Logic

12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Editors: Gottlob, Georg, Grandjean, Etienne, Seyr, Katrin (Eds.)

Free Preview

Buy this book

eBook n/a
  • ISBN 978-3-540-48855-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-65922-8
  • Free shipping for individuals worldwide

Table of contents (28 chapters)

Table of contents (28 chapters)

Buy this book

eBook n/a
  • ISBN 978-3-540-48855-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-65922-8
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Science Logic
Book Subtitle
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
Editors
  • Georg Gottlob
  • Etienne Grandjean
  • Katrin Seyr
Series Title
Lecture Notes in Computer Science
Series Volume
1584
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48855-2
DOI
10.1007/10703163
Softcover ISBN
978-3-540-65922-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 442
Topics