|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Об алгоритмической разрешимости выполнимости формул в логике с параметром временикурсовая работа (Специалист)
- Научный руководитель: Боков Г.В.
- Автор: Волошина Виктория Сергеевна
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра математической теории интеллектуальных систем
- Год защиты: 2020
- Курс: 4
- Добавил в систему: Боков Григорий Владимирович