Computer science logic:5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings.

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic (5th 1991 Bern, Switzerland)
Group Author: Börger E.; (Egon), 1946-
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/