Cover is for reference only

CSL '88：2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany)
Group Author: Börger E.; (Egon), 1946-; Kleine Büning H.; (Hans); Richter Michael M. 1938-
Published: Springer-Verlag,
Publisher Address: Berlin New York
Publication Dates: c1989.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 385
Subjects:
Computer science > Congresses. > Congresses.
Logic, Symbolic and mathematical > Congresses.
Carrier Form: vi, 399 p.: ill. ; 25 cm.
ISBN: 038751659X (U.S. : alk. paper)
Index Number: TP31
CLC: TP31-532
Call Number: TP31-53/W926.2/1988/
Contents: Includes bibliographical references.

Related Book Recommendations