Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lecture Notes in Computer Science (1584), Band 1584)

Proceedings

von: Etienne Grandjean · Katrin Seyr · Georg Gottlob

Taschenbuch

ISBN-13: 978-3-540-65922-8

ISBN-10: 3-540-65922-6

Springer · 2008