Наследственное описание многосортных теорий / В. П. Макаров

Сохранено в:
Шифр документа: Ба244052,
Вид документа: Книги
Автор: Макаров, В. П.
Опубликовано: Минск : Вычислительный центр АН БССР , 1991
Физические характеристики: 10, [1] с. ; 20 см
Язык: Русский
Серия: Препринт № 3 (3)
Предмет:
00000cam0a2200000 ib4500
001 BY-NLB-br261112
005 20230124090258.0
010 # # $d 3 к. 
100 # # $a 20000605d1991 u y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a BY 
105 # # $a y ||||000yy 
109 # # $a aa 
200 1 # $a Наследственное описание многосортных теорий  $f В. П. Макаров 
210 # # $a Минск  $c Вычислительный центр АН БССР  $d 1991 
215 # # $a 10, [1] с.  $d 20 см 
225 1 # $a Препринт  $f Академия наук Белорусской ССР, Вычислительный центр  $v № 3 (3) 
320 # # $a Библиография в конце текста (14 назв.) 
345 # # $9 80 экз. 
606 0 # $3 BY-NLB-ar17294  $a МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar21385  $a ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar40089  $a ЯЗЫКИ ПРОГРАММИРОВАНИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17295  $a МАТЭМАТЫЧНАЕ ПРАГРАМАВАННЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17285  $a МАТЭМАТЫЧНАЯ ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar40090  $a МОВЫ ПРАГРАМАВАННЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar21386  $a АБ'ЕКТНА-АРЫЕНТАВАНАЕ ПРАГРАМАВАННЕ  $2 DVNLB 
610 0 # $a ЯМС 
615 # # $a Белорусский национальный документ 
675 # # $a 519.68  $v 3  $z rus 
686 # # $a 27.47.21  $2 rugasnti 
700 # 1 $3 BY-SEK-149612  $a Макаров  $b В. П.  $g Виктор Петрович  $c кандидат физико-математических наук 
712 0 2 $3 BY-SEK-ar13418603  $a Академия наук БССР  $c Минск  $b Вычислительный центр  $4 475 
801 # 0 $a BY  $b BY-HM0000  $c 20000605  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060315  $g psbo