English-Russian big polytechnic dictionary
вывод по аналогии
inferencing algorithm — алгоритм логического вывода
Lisp inferencing engine — машина логического вывода на базе языка ЛИСП
inferencing engine — машина логического вывода; механизм логического вывода