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 / Matthias Baaz, Johann A. Makowsky (eds.).

Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxii, 590 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Computer logic--Congresses.

Other author/creatorBaaz, Matthias.
Other author/creatorMakowsky, Johann A., 1948-
Other author/creatorEuropean Association for Computer Science Logic. Conference 2003 : Vienna University of Technology) (12th :
Other author/creatorKurt Gödel Colloquium 2003 : Vienna University of Technology) (8th :
SeriesLecture notes in computer science ; 2803
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2003059118
ISBN3540408010 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available