TY  - BOOK
AU  - Минц,Г.Е.
AU  - Лорентс,П.П.
ED  - "Применение методов математической логики" всесоюзная конференция
TI  - IV Всесоюзная конференция "Применение методов математической логики": Тезисы докладов секции "Логика взаимодействующих процессов", "Алгоритмика трудных задач" 
PY  - 1986///
CY  - Таллин
PB  - Изд-во АН ЭССР
ER  -