Для студентов РТУ МИРЭА по предмету Технические наукиИсследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных метоИсследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных мето
2018-01-182018-01-18СтудИзба
Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов
Описание
Описание файла отсутствует
Характеристики диссертации
Тип
Предмет
Учебное заведение
Семестр
Просмотров
136
Скачиваний
1
Размер
17,17 Mb
Список файлов
- Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов
- Автореферат.pdf 687,24 Kb
- Диссертация.pdf 1,02 Mb
- Документы
- Заключение диссертационного совета.pdf 111,78 Kb
- Заключение орг., где выполнялась работа.PDF 4,07 Mb
- Отзыв ведущей организации.pdf 1,27 Mb
- Отзыв второго оппонента.pdf 1,15 Mb
- Отзыв на автореферат 1.pdf 956,12 Kb
- Отзыв на автореферат 2.pdf 317,41 Kb
- Отзыв на автореферат 3.pdf 921,61 Kb
- Отзыв на автореферат 4.PDF 3,43 Mb
- Отзыв на автореферат 5.pdf 80,2 Kb
- Отзыв на автореферат 6.pdf 516,5 Kb
- Отзыв научного руководителя.pdf 133,52 Kb
- Отзыв первого оппонента.pdf 1,05 Mb
- Протокол о принятии диссертации.pdf 77,26 Kb
- Протокол о рассмотрении диссертации.pdf 71,89 Kb
- Решение диссертационного совета по результатам защиты диссерта.pdf 69,82 Kb
- Сведения о ведущей организации.pdf 1,92 Mb
- Сведения о втором оппоненте.pdf 585,58 Kb
- Сведения о первом оппоненте.pdf 675,17 Kb
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать