Mathematical foundations of computer science 1975 : 4th Symposium, Marianske Lazne, September 1-5, 1975 - Symposium on Mathematical Foundations of Computer Science (4th : 1975 : Marianske Lazne, Czechoslovak Republic).; Becvar, J., 1926- (Berlin Springer-Verlag, 1975)
'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.
Keywords: Formal languages -- Congresses; Machine theory -- Congresses; Programming (Electronic computers) -- Congresses