Отзыв

научного руководителя о работе В.Э. Иткина "Логико-термальная эквивалентность схем программ", представленной на соискание ученой степени кандидата физико-математических наук.