TY  - BOOK
ED  - Symposium on Mathematical Foundations of Computer Science (4th : 1975 : Marianske Lazne, Czechoslovak Republic).
ED  - Becvar, J., 1926-
TI  - Mathematical foundations of computer science 1975: 4th Symposium, Marianske Lazne, September 1-5, 1975 
SN  - 0387073892
PY  - 1975///
CY  - Berlin
PB  - Springer-Verlag
KW  - Formal languages
KW  - Congresses
KW  - Machine theory
KW  - Programming (Electronic computers)
N1  - 'The Symposium is organized by Mathematical Institute of the Czechoslovak Academy of Sciences and is co-sponsored by the International Federation for Information Processing (IFIP)'; Includes indexes and  bibliographical references
ER  -