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

Сохранено в:
Шифр документа: 144921, 145832,
Вид документа: Книги
Опубликовано: Таллин : АН ЭССР , 1986
Физические характеристики: 197 с. ; 20 см
Язык: Русский
Предмет:
Математическая логика - Тезисы докладов
00000cam0a22000001ib4500
001 BY-NLB-rr25124400000
005 20170310103051.0
010 # # $d 1 р. 40 к. 
021 # # $a RU  $b [86-48210] 
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 197 с.  $d 20 см 
300 # # $a В надзаг.: Ин-т кибернетики АН ЭССР. - Библиогр. в конце докл. - Указ. авт.: с. 195-197 
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 

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