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