Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /

Bibliographic Details
Corporate Authors:	Workshop on Computer Science Logic Paderborn, Germany, European Association for Computer Science Logic
Other Authors:	Kleine Büning, H. (Hans)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1092.
Subjects:	Computer science > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage