Електронний каталог: Гуца Олег Миколайович - Інтеракивна модель перекладу технічних завдань у систему булевих формул