Terms containing rules of inference

Subject	English	Russian
progr.	case of derived rules of inference	случай производных правил вывода (ssn)
IT	compositional rule of inference	обобщённый утверждающий модус (условно-категорического силлогизма ssn)
IT	compositional rule of inference	композиционное правило умозаключения (ssn)
AI.	conclusions derived out of inference rules	выводы, полученные на основе правил логического вывода (Alex_Odeychuk)
progr.	derived rule of inference	производное правило вывода (ssn)
progr.	derived rules of inference	производные правила вывода (ssn)
AI.	follow the rules of inference	следовать правилам логического вывода (Alex_Odeychuk)
progr.	formal system of axioms and inference rules	формальная система аксиом и правил вывода (ssn)
progr.	number of inference rules in the type system	количество правил выведения типов в системе типов (Alex_Odeychuk)
tech.	rule of inference	правило вывода (логического)
logic	rule of inference	правило вывода
Gruzovik, logic	rule of inference	правило умозаключения
Makarov.	rule of inference	правило логического вывода
IT	rule of logical inference	правило логического вывода (ssn)
ling.	rule of situational inference	правила ситуационного вывода
math.	rules of inference	правило вывода
ling.	rules of inference	правила вывода
math.	rules of inference	правила вывода (м. лог.)
progr.	set of inference rules	набор правил вывода (Alex_Odeychuk)
logic	set of inference rules	формальная система (Alex_Odeychuk)
progr.	set of inference rules assigning types to terms	набор правил вывода, присваивающих термам типы (ssn)