Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
сборник
Год издания:
2019
Место издания:
Изд-во механико-математического факультета МГУ
Добавил в систему:
Боков Григорий Владимирович
Статьи, опубликованные в сборнике
Страницы: << предыдущая
следующая >>
2019
Базисы заданий логических систем пропозициональными исчислениями
Боков Г.В.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 252-254
2019
Верификация моделей реагирующих систем относительно одного расширения темпоральной логики CTL*
Гнатенко А.Р.
,
Захаров В.А.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 263-266
2019
Геометрия линзовых гиперболических 3-многообразий
ДАМИАН Ф.Л.
,
МАКАРОВ В.С.
,
МАКАРОВ П.В.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 292-294
2019
КОДЫ ДЛЯ ИЗОБРАЖЕНИЙ
Козлов В.Н.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 275-277
2019
Нижняя оценка билинейной сложности умножения матриц размеров 2 х 2 и 2 х m над конечными полями
Алексеев В.Б.
,
Назаров А.А.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 95-98
2019
О задаче верификации для одного класса автоматов реального времен
Винарский Е.М.
,
Захаров В.А.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 257-260
2019
О классах самодвойственных функций неявно предполных в P_k
Старостин М.В.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
2019
О классах частичных монотонных функций трехзначной логики
Дудакова О.С.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 173-175
2019
О некоторых интервалах решетки замкнутых классов в частичной k-значной логике
Алексеев В.Б.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 168-171
2019
О проблеме полноты в классах линейных автоматов над конечными полями
Часовских А.А.
в сборнике
Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.)
, место издания
Изд-во механико-математического факультета МГУ
, с. 50-59
Страницы: << предыдущая
следующая >>