Envoyer par SMS: Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач: тезисы докладов IV Всесоюзной конференции