Logic, language, information, and computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.).

SeriesLecture notes in computer science, 0302-9743 ; 8071
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; 8071.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2013943913
ISBN9783642399916 (pbk. : alk. paper)
ISBN3642399916 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available