Полный англо-русский словарь
(вычислительная) супермашина логического вывода, супер-ЭВМ логического вывода