Computer science logic
Subtitle: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
By: Laurent Fribourg (ed.).
Contributors: Fribourg, Laurent, 1957-; European Association for Computer Science Logic. Conference
Series: Lecture notes in computer science -- 2142.
Publisher: Springer
Place of publication: Berlin; New York
Number of pages: 614
Subjects: Computer logic -- Congresses.
Genres: Congresses.
Other titles: CSL 2001.
Notes: Includes bibliographical references and index.

Also available via the World Wide Web.