CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Karlsruhe, Germany
Other Authors: Richter, Michael M., 1938-, Börger, E. (Egon), 1946-, Kleine Büning, H. (Hans)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1988.
Series:Lecture notes in computer science ; 329.
Subjects:
Computers > Congresses.
Electronic data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
Computer science > Mathematics.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AL22D0 C05341
Copy 1 Available  Place a Hold

Similar Items