Logical foundations of computer science 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode (eds.).

Author/creator LFCS '97
Other author Adi͡an, S. I.
Other author Nerode, Anil, 1932-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionix, 429 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

SeriesLecture notes in computer science, 0302-9743 ; 1234
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 97020865
ISBN3540630457 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available