TY - BOOK AU - Gruska,Jozef ED - Symposium on Mathematical Foundations of Computer Science (1972- ) TI - Mathematical foundations of computer science, 1977: proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 T2 - (Lecture notes in computer science SN - 0387083537 PY - 1977/// CY - Berlin, New York PB - Springer-Verlag KW - Machine theory KW - Congresses KW - Formal languages KW - Computer programming KW - კომპიუტერული ტექნოლოგიები KW - კომპიუტერული პროგრამირება - კონფერენციები KW - პროგრამირების ენები - კონფერენციები N1 - Includes bibliographies ER -