Computer science logic 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn, eds.

Author/creator Workshop on Computer Science Logic
Other author Pacholski, Leszek.
Other author Tiuryn, Jerzy.
Format Electronic
Publication InfoBerlin ; New York : Springer-Verlag,
Descriptionix, 541 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Subjects

SeriesLecture notes in computer science ; 933
Bibliography noteIncludes bibliographical references (p. 541) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 95023973
ISBN3540600175 (Berlin : acid-free paper)
ISBN0387600175 (New York : acid-free paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available