|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Победитель секции "Математика и механика" международной конференции студентов, аспирантов и молодых учёных "Ломоносов-2012"награда
- Лауреат: Боков Г.В.
- Тип: Диплом
- Название: Победитель секции "Математика и механика" международной конференции студентов, аспирантов и молодых учёных "Ломоносов-2012"
- Организация: МГУ имени М. В. Ломоносова
- Страна: Россия
- Дата получения: 13 апреля 2016 г.
-
Описание заслуги:
За доклад "Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях"