symbolic inference
ГИПОТЕТИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ
Русско-английский перевод ГИПОТЕТИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ
Воскобойников Б.С., Митрович В.Л.. Русско-Английский словарь по машиностроению и автоматизации производства. Russian-English dictionary of mechanical engineering and manufacturing automation. 2003