Жук Дмитрий Николаевич (кандидат физико-математических наук, старший научный сотрудник)

• Дипломная работа (2015): О сложности реализации предикатов положительными примитивными формулами.