В настоящее время на этой странице нет текста. Вы можете найти упоминание данного названия на других страницах, или найти соответствующие записи журналов. У вас нет разрешения создать данную страницу.
Двусторонняя унификация программ и ее применение для задач рефакторинга
Материал из Кафедра математической кибернетики