Смирнов Петр Юрьевич
- Аспирант:НИУ ВШЭ в Санкт-Петербурге / Санкт-Петербургская школа физико-математических и компьютерных наук / Департамент математики
Обучение в аспирантуре
1-й год обучения
Утвержденная тема диссертации: Сложность вывода комбинаторных принципов в пропозициональных системах доказательств
Научный руководитель: Омельченко Александр Владимирович