Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger ... [et al.], eds.

Author/creator Workshop on Computer Science Logic
Other author Börger, E. (Egon), 1946-
Format Electronic
Publication InfoBerlin ; New York : Springer-Verlag,
Descriptionviii, 439 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Supplemental ContentFull text available from Springer Books
Subjects

SeriesLecture notes in computer science ; 702
Bibliography noteIncludes bibliographical references.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 93244664
ISBN3540569928 (Berlin : acid-free paper)
ISBN0387569928 (New York : acid-free paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available