CSL'88 / 2nd Workshop...; ed. E. Borger, H. Kleine Buning, M. M. Richter
Corporate Author (Main)
Workshop on Computer Science Logic, 2, Duisburg, 1988
Secondary Author
Börger, Egon
Buning, Hans Kleine
Richter, Michael M.
Country
Alemanha.
Publication
Berlin : Springer-Verlag, cop. 1989
Description
VI, 399 p. ;
25 cm
Series
Lecture notes in computer science , 385
ISBN
3-540-51659-X
CDU
519.6
There are no comments for this item.