Парасюк И. Н. Аксиоматические модели и методы проектирования языковых трансляторов / И. Н. Парасюк, А. И. Провотар, В. А. Кондратенко // Пробл. программирования. - 2003. - № 3. - С. 22-28. - Библиогр.: 9 назв. - рус.
Розглянуто питання застосування логічних методів і методів формальних систем для побудови мовних трансляторів. Запропоновано аналог методу резолюцій для елементарних формальних систем.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"