В. А. Матулис, “Первый всесоюзный симпозиум по проблеме машинного поиска логического вывода”, УМН, 1964, том 19, выпуск 6(120),страницы 239

ЖУРНАЛЫ // Успехи математических наук // Архив

УМН, 1964, том 19, выпуск 6(120), страницы 239–241 (Mi rm6294)

Математическая жизнь в СССР

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

В. А. Матулис