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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540631729 - June 18, 1997
In case cover and title do not match, the title is correct

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

Price
€ 60.99

Ordered from remote warehouse

Expected delivery Jun 16 - 25
Add to your iMusic wish list

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

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