Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
8802 |
Автор: | Манцивода Андрей Валерьевич |
Назва: | Абстрактные типы данных и автоматическое доказательство теорем |
Від. щодо назв.: |
Дис... канд.физ.-мат.наук: 01.01.09 |
Відповідальність: |
Манцивода Андрей Валерьевич; Иркутский гос.ун-т |
Місто: | Иркутск |
Рік: | 1989 |
Сторінок: | 122л. |
ББК: |
В186 |
Тип документу: |
Дисертація |
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
|
|
|
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин
|
|