
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 18 de junho de 1997 |
ISBN13 | 9783540631729 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 479 |
Dimensões | 156 × 234 × 24 mm · 675 g |
Idioma | German |
Editor | Bezem, Marc |
Editor | Dalen, Dirk Van |
Mais por Dirk Van Dalen
Ver tudo de Dirk Van Dalen ( por exemplo Paperback Book e Hardcover Book )