TY  - BOOK
AU  - Symposium, olomouc, czechoslovakia, sept 3-7, 1979 (8th)
AU  - Becvar, J., ed.
TI  - Mathematical foundations of computer science 1979
SN  - 3540095268
U1  - 519.4 
PY  - 1979///
CY  - Berlin
PB  - Springer-Verlag
N1  - Lecture Notes in Computer Science 74
ER  -