Computer science logic
Subtitle: 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings
By: Zoltán Ésik (ed.).
Contributors: Ésik, Zoltán, 1951-; European Association for Computer Science Logic. Conference
Series: Lecture notes in computer science -- 4207.
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 626
ISBN-13: 9783540454588
Subjects: Computer logic -- Congresses
Genres: Congresses.
Other titles: CSL 2006.
Notes: Includes bibliographical references and index.