III конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г., Тез. докл.
83-3/12176 русский (rus)/III конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г. : Тез. докл.III конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г. : Тез. докл.III конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г. : Тез. докл.Таллин/Б. и./, 1983 ( ). - Б. и., 1983. - 212 с. ; 20 см.III конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г. : Тез. докл. Таллин, 1983 .
Загл. обл.: Применение методов математической логики. - В надзаг.: Науч. совет по комплекс. пробл. "Кибернетика" при Президиуме АН СССР, Науч. совет по пробл. "Искусств. интеллект" Ком. систем. анализа при Президиуме АН СССР, Ин-т кибернетики АН ЭССР, Ленингр. электротехн. ин-т им. В.И. Ульянова (Ленина) МВ и ССО РСФСР. - Библиогр. в конце докл. Библиогр. в конце докл. "Применение методов мат. логики", конф. ( 3; 1983; Таллин ).
Загл. обл.: Применение методов математической логики. - В надзаг.: Науч. совет по комплекс. пробл. "Кибернетика" при Президиуме АН СССР, Науч. совет по пробл. "Искусств. интеллект" Ком. систем. анализа при Президиуме АН СССР, Ин-т кибернетики АН ЭССР, Ленингр. электротехн. ин-т им. В.И. Ульянова (Ленина) МВ и ССО РСФСР. - Библиогр. в конце докл. Библиогр. в конце докл. "Применение методов мат. логики", конф. ( 3; 1983; Таллин ).