Englisch ⇄ Deutsch Russisch +

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