Cover Image

Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /

Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic Vienna University of Technology, European Association for Computer Science Logic. Conference, Kurt Gödel Colloquium
Other Authors: Baaz, Matthias, Makowsky, Johann A., 1948-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2003]
Series:Lecture notes in computer science ; 2803.
Subjects:
Computer logic > Congresses.
Description
Physical Description:xii, 590 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540408010 (softcover : alk. paper)