Абстрактные типы данных и автоматическое доказательство теорем [[Микроформа]]: Дис. ... канд. физ.-мат. наук: Утв. 18.10.89: (01.01.09)

Сохранено в:
Шифр документа: 04890012114,
Вид документа: Диссертации
Автор: Манцивода, А. В.
Опубликовано: Иркутск , 1989
Физические характеристики: 121 с.
Язык: Русский
00000nbm0a22000001id4500
001 BY-NLB-rr41499350000
005 20080219122623.0
100 # # $a 20080219d1989 y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
200 1 # $a Абстрактные типы данных и автоматическое доказательство теорем  $b [Микроформа]  $e Дис. ... канд. физ.-мат. наук  $e Утв. 18.10.89  $e (01.01.09) 
210 # # $a Иркутск  $d 1989 
215 # # $a 121 с. 
300 # # $a Библиогр.: с. 116-121 
686 # # $a 01.01.09  $2 oksvnk 
700 # 1 $a Манцивода  $b А. В.  $g Андрей Валерьевич 
801 # 1 $a BY  $b BY-HM0000  $c 20080219  $g psbo