Применение методов математической логики: IV всесоюз. конф. : Секция «Представление знаний и синтез прогр.» : Тез. докл. / [Под ред. Г. Е. Минца, П. П. Лорентса]

Сохранено в:
Шифр документа: 144922, 145833,
Вид документа: Книги
Опубликовано: Таллин : АН ЭССР , 1986
Физические характеристики: 202 с. : ил. ; 20 см
Язык: Русский
Предмет:
Математическая логика - Тезисы докладов
00000cam0a22000001ib4500
001 BY-NLB-rr25124410000
005 20170310103010.0
010 # # $d 1 р. 45 к. 
021 # # $a RU  $b [86-48211] 
100 # # $a 20071206d1986 y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a EE 
200 1 # $a Применение методов математической логики  $e IV всесоюз. конф. : Секция «Представление знаний и синтез прогр.» : Тез. докл.  $f [Под ред. Г. Е. Минца, П. П. Лорентса] 
210 # # $a Таллин  $c АН ЭССР  $d 1986 
215 # # $a 202 с.  $c ил.  $d 20 см 
300 # # $a В надзаг.: Ин-т кибернетики АН ЭССР. - Библиогр. в конце докл. - Указ. авт.: с. 201-202 
345 # # $9 500 экз. 
610 0 # $a Математическая логика - Тезисы докладов 
675 # # $a 510.6-7(043.2) 
702 # 1 $a Минц  $b Г. Е.  $4 340 
711 0 2 $a Институт кибернетики (Таллин) 
801 # 1 $a BY  $b BY-HM0000  $c 20071206  $g psbo 

Схожие документы