Workshop on Computer Science Logic, CSL'87 / Proceedings of Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter

CSL'87 / Proceedings of Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter . - Berlin : Springer-Verlag, cop. 1988 . - VI, 346 p. 25 cm . - (Lecture notes in computer science; 329)
3-540-50241-6 (Brochado)

519.6