Информационное письмо

о проведении Первого всесоюзного симпозиума по машинному поиску логического вывода.