Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /

Bibliographic Details
Corporate Author:	Workshop on Computer Science Logic San Miniato, Italy
Other Authors:	Börger, E. (Egon), 1946-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	Lecture notes in computer science ; 702.
Subjects:	Computer science > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage