Англійська ⇄ Німецька Російська +

backward inferencing наголоси
автомат.	обратная цепочка умозаключений; обратное логическое умозаключение (в экспертной системе)
Макаров	обратное логическое умозаключение (в экспертной системе)