Computer science logic
Subtitle: 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
By: Julian Bradfield (ed.)
Contributors: Bradfield, J. C; European Association for Computer Science Logic. Conference
Series: Lecture notes in computer science -- 2471
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 612
Subjects: Computer logic -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index

Also available via the World Wide Web