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