Computer Science Logic 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 proceedings
Computer Science Logic 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 proceedings
E. B”rger, H. Kleine Bning, M. M. Richter, ...(eds.)
- Berlin; Heidelberg; New York Springer 1991
- VIII, 400 p. fig. ; 24 cm
- Lecture Notes in Computer Science (LNCS)\\Springer\ 533 .
0-387-54487-9; 3-540-54487-9
C-182609
lucrări conferințe
004.421519.7(063)
0-387-54487-9; 3-540-54487-9
C-182609
lucrări conferințe
004.421519.7(063)