Computer science logic:5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings.
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
Springer-Verlag,
|
Publisher Address: | Berlin New York |
Publication Dates: | c1992. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 626 |
Subjects: | |
Carrier Form: | viii, 428 p.: ill. ; 23 cm. |
ISBN: |
354055789X (Berlin) 038755789X (New York) |
Index Number: | TP320 |
CLC: | TP320.2-532 |
Call Number: | TP320.2-53/C738/1991/ |