Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings /

Bibliographic Details
Corporate Authors:	Workshop on Computer Science Logic Madrid, Spain, CSL '99
Other Authors:	Flum, Jörg, Rodríguez Artalejo, M. (Mario)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science ; 1683.
Subjects:	Computer logic > Congresses.

Remote Storage