TY - BOOK AU - Барашко, Анатолий Сергеевич TI - Исследование по теории сложности вычислений и формальным языкам / : PY - 1978/// CY - Киев : PB - Наукова думка, KW - საინფორმაციო სისტემები KW - ფორმალური ენები ER -