TY  - BOOK
AU  - Becvar,J.
ED  - Czechoslovak Academy of Sciences
ED  - International Federation for Information Processing
ED  - Symposium on Mathematical Foundations of Computer Science
TI  - Mathematical foundations of computer science 1975: 4th symposium, Marianske Lazne, September 1-5, 1975 
SN  - 3540073892
AV  - QA76.9 M35 M38 1975
PY  - 1975///
CY  - Berlin
PB  - Springer
KW  - Sequential machine theory
KW  - Congresses
KW  - Formal languages
N1  - "Organized by the Mathematical Institute of the Czechoslovak Academy of Sciences and is co-sponsored by the International Federation for Information Processing (IFIP)"
ER  -