Computer science logic
Subtitle: 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
By: Hans Kleine Büning, (ed.).
Contributors: Kleine Büning, H.; European Association for Computer Science Logic. Conference
Series: Lecture notes in computer science ;; 1092
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 485
Subjects: Computer logic -- Congresses
Notes: Includes bibliographical references and index.
CSL'95 was the fourth to be held as the Annual Conference of the EACSL.