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