
Tell your friends about this item:
Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science
Dirk Van Dalen
Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science
Dirk Van Dalen
Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in 1996, this volume comprises 26 revised full papers. It addresses issues in the area of computer science logic research.
479 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 18, 1997 |
ISBN13 | 9783540631729 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 479 |
Dimensions | 156 × 234 × 24 mm · 675 g |
Editor | Bezem, Marc |
Editor | Dalen, Dirk Van |
Show all
More by Dirk Van Dalen
See all of Dirk Van Dalen ( e.g. Paperback Book and Hardcover Book )