CSL'87 / Proceedings of Workshop...; ed. E. Borger, H. Kleine Buning, M. M. Richter
Corporate Author (Main)
Workshop on Computer Science Logic, Karlsruhe, 1987
Secondary Author
Börger, Egon
Buning, Hans Kleine
Richter, Michael M.
Country
Alemanha.
Publication
Berlin : Springer-Verlag, cop. 1988
Description
VI, 346 p. ;
25 cm
Series
Lecture notes in computer science , 329
ISBN
3-540-50241-6
CDU
519.6
There are no comments for this item.