|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Методы вычисления оценок уверенности формально построенных выводовдиссертация
- Научный руководитель: Соловьев Сергей Юрьевич
- Автор: Моросанова Н.А.
- Дата защиты: 20 декабря 2013 года в 11:00
- Шифр диссертационного совета: Д 501.001.44
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Физика и математика
- Специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Тип диссертации: Кандидатская
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова, факультет вычислительной математики и кибернетики
- Добавил в систему: Мальковский Михаил Георгиевич