Russian ⇄ English

правило вывода stresses
AI.	inference rule; production
comp., MS	derivation rule (A rule to determine a classifier for classifying the financial consequences of an accounting event)
logic	modus ponens (ssn)
math.	deduction rule; rule of derivation; rewrite rule (ssn); rules of inference
oil	production rule
tech.	derivation rule; rule of inference (логического)
правила вывода
el.	inference mechanism (из суждений)
IT	inference rules
ling.	rules of inference
math.	rules of inference (м. лог.)
math., ling.	rewrite rules
правило логического вывода
robot.	inference rule
Russian thesaurus
правило вывода
gen.	правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний формул, называемым посылками, и одним определенным высказыванием формулой, называемым логическим следствием из этих посылок. Большой Энциклопедический словарь

правила вывода: 26 phrases in 9 subjects

Artificial intelligence	4
Automated equipment	1
Computers	1
Electronics	2
Information technology	3
Linguistics	2
Makarov	4
Microsoft	2
Programming	7