Cover Image

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /

Bibliographic Details
Corporate Authors: CSL 2001 Paris, France, European Association for Computer Science Logic. Conference
Other Authors: Fribourg, Laurent, 1957-
Format: Conference Proceeding Book
Language:English
Published: Berlin : New York : Springer, 2001.
Series:Lecture notes in computer science. 2142.
Subjects:
Computer logic > Congresses.
Description
Physical Description:xii, 614 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540425543 (pbk. : alk. paper)
ISSN:0302-9743 ;