TY  - BOOK
TI  - Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 окт. 1985 г.: Тезисы докладов
PY  - 1985///
CY  - Новосибирск
PB  - Ин-та математики СО АН СССР
KW  - Кибернетика
KW  - Математическая логика
N1  - В надзаг.: АН СССР, Сиб. отд-ние, Ин-т математики, М-во высш. и сред. спец. образования СССР, Новосиб. гос. ун-т
ER  -