Akademik

проблема логического вывода

inference problem

Большой англо-русский и русско-английский словарь. 2001.