Workshop on Computer Science Logic,, 2, CSL'88 / 2nd Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter

CSL'88 / 2nd Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter . - Berlin : Springer-Verlag, cop. 1989 . - VI, 399 p. 25 cm . - (Lecture notes in computer science; 385)
3-540-51659-X (Brochado)

519.6