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 1258 (Paperback)Dirk van Dalen (editor), Marc Bezem (editor)
- We can order this
The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 479
Weight: 1500 g
Dimensions: 235 x 155 x 24 mm
Edition: 1997 ed.
You may also be interested in...
Please sign in to write a review