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.
Series: Lecture notes in computer science -- 2471
Publisher: Springer
Published: 2002
Place of publication: Berlin; London
Language: eng
Number of pages: 612
Subjects: Computer logic -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.