000 01456nam a2200337 a 4500
005 20250914012618.0
008 981208s1975 gw 00 eng
020 _a0387073892
039 9 _a201804101609
_blan
_y08-18-1999
_zload
040 _dUKM
090 _aQA267.5/S4S89 1975[00008035412]
090 _aQA267.5.S4
_bS89
111 1 _aSymposium on Mathematical Foundations of Computer Science (4th : 1975 : Marianske Lazne, Czechoslovak Republic).
245 1 0 _aMathematical foundations of computer science 1975 :
_b4th Symposium, Marianske Lazne, September 1-5, 1975 /
_cedited by J. Becvar.
260 _aBerlin
_bSpringer-Verlag
_c1975.
300 _a476 p. ;
_c25 cm.
440 _aLectures notes in computer science
_v32.
500 _a'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)'.
504 _aIncludes indexes and bibliographical references.
650 _aFormal languages
_xCongresses.
650 _aMachine theory
_xCongresses.
650 _aProgramming (Electronic computers)
_xCongresses.
711 1 _aBecvar, J., 1926-
907 _a.b11417559
_b2020-10-15
_c2019-11-12
942 _c01
_n0
_kQA267.5/S4S89 1975[00008035412]
914 _avtls000147015
990 _aAMZA
991 _aFak Sains Matematik
998 _at
_b1999-05-08
_cm
_da
_feng
_ggw
_y0
_z.b11417559
999 _c143437
_d143437