Программная система КВАНТ/1 для автоматического доказательства теорем
- Автор:
Черкашин, Евгений Александрович
- Шифр специальности:
05.13.11
- Научная степень:
Кандидатская
- Год защиты:
1999
- Место защиты:
Иркутск
- Количество страниц:
155 с. : ил.
Стоимость:
700 р.250 руб.
до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы
Рекомендуемые диссертации данного раздела
| Название работы | Автор | Дата защиты |
|---|---|---|
| Система Норма : Разработка, реализация и использование для решения задач математической физики на параллельных ЭВМ | Андрианов, Александр Николаевич | 2001 |
| Использование многоуровневого внутреннего представления в автоматическом распараллеливании программ для многопроцессорных ЭВМ | Лазарева, Светлана Александровна | 2000 |
| Методы алгоритмизации предметных областей | Новиков, Фёдор Александрович | 2011 |