TY  - BOOK
ED  - Symposium on Mathematical Foundations of Computer Science (8th. : 1979 : Olomouc, Czechoslovakia).
ED  - Becvar, J., 1926-
TI  - Mathematical foundations of computer science 1979: proceedings, 8th. Symposium Olomouc, Czechoslovakia, September 3-7, 1979 
SN  - 3540095268
PY  - 1979///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
KW  - Algorithms
KW  - Computable functions
KW  - Machine theory
ER  -