Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings /

Bibliographic Details
Corporate Authors:	Workshop on Computer Science Logic Utrecht, Netherlands, CSL '96
Other Authors:	Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-
Format:	Conference Proceeding Book
Language:	English
Published:	New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1258.
Subjects:	Computer logic > Congresses.

Remote Storage