TY  - BOOK
AU  - Gruska,J.
ED  - Symposium on Mathematical Foundations of Computer Science
TI  - Mathematical foundations of computer science 1977: proceedings, 6th symposium, Tatranska Lomnica, September 5-9, 1977 
SN  - 3540083537
AV  - QA76.9 M35 M38 1977
PY  - 1977///
CY  - Berlin
PB  - Springer
KW  - Machine theory
KW  - Congresses
KW  - Formal languages
KW  - Programming (Electronic computers)
ER  -