Computer science logic
Subtitle: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
By: Dirk van Dalen, Marc Bezem (eds.).
Contributors: Dalen, D. van 1932-; Bezem, M. 1956-; European Association for Computer Science Logic. Conference
Series: Lecture notes in computer science,; 1258
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 471
Subjects: Computer logic -- Congresses
Notes: Includes bibliographical references and index.