COLOG-88 : International Conference on computer logic, Tallinn, USSR, December 12-16, 1988 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Computer Logic Tallinn, Estonia
Other Authors:	Martin-Löf, Per, 1942-, Mint͡s, G. E.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	Lecture notes in computer science ; 417.
Subjects:	Computer science > Mathematics > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage