Akademik
inference procedure
Робототехника:
процедура логического вывода
(в СИИ)
Универсальный англо-русский словарь
.
Академик.ру
.
2011
.