Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / Erich Grädel, Reinhard Kahle (eds.).

Author/creator CSL 2009
Other author Grädel, Erich, 1958-
Other author Kahle, Reinhard, 1967-
Other author European Association for Computer Science Logic.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxi, 565 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Computer logic--Congresses.
Computational logic--Kongress. --Coimbra <2009>.
Logische Programmierung--Kongress. --Coimbra <2009>.
Programmierlogik--Kongress. --Coimbra <2009>.
Theoretische Informatik--Logik. --Kongress. --Coimbra <2009>.

SeriesLecture notes in computer science, 0302-9743 ; 5771
LNCS sublibrary: SL 1-theoretical computer science and general issues
Lecture notes in computer science ; 5771. ^A466336
LNCS sublibrary. SL 1 Theoretical computer science and general issues. UNAUTHORIZED
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Other formsAlso issued online.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009933208
ISBN9783642040269 (pbk.)
ISBN3642040268 (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available