English-Russian big polytechnic dictionary
транзитивный логический вывод
precarious inference — сомнительный вывод
simultaneous inference — совместные выводы
grammatical inference — грамматический вывод
immediate inference — непосредственный вывод
inference machine — машина логического вывода