Terms containing правила вывода

Subject	Russian	English
comp.	композиционное правило вывода	compositional inference rule
IT	леворекурсивное правило вывода	left recursive production
AI.	логический вывод, основанный на правилах	rule-based inferencing (Alex_Odeychuk)
AI.	логический вывод по правилам	rule inference (Alex_Odeychuk)
AI.	научные исследования в области правил логического вывода	research on inference rules (Alex_Odeychuk)
el.	подход к умозаключения по правилу "сначала делать вывод, затем объединять"	first infer then aggregate
el.	подход к умозаключения по правилу "сначала объединять, затем делать вывод"	first aggregate then infer
math., ling.	правила вывода	rewrite rules
ling.	правила вывода	rules of inference
IT	правила вывода	inference rules
el.	правила вывода	inference mechanism (из суждений)
math.	правила вывода	rules of inference (м. лог.)
progr.	правила вывода, присваивающие термам типы	inference rules assigning types to terms (ssn)
progr.	правила логических выводов	inference rules (ssn)
ling.	правила ситуационного вывода	rule of situational inference
math.	правило вывода	rules of inference
comp., MS	правило вывода	derivation rule (A rule to determine a classifier for classifying the financial consequences of an accounting event)
math.	правило вывода	rewrite rule (ssn)
logic	правило вывода	modus ponens (ssn)
tech.	правило вывода	rule of inference (логического)
robot.	правило логического вывода	inference rule
oil	правило вывода	production rule
AI.	правило вывода	inference rule
math.	правило вывода	rule of derivation
math.	правило вывода	deduction rule
AI.	правило вывода	production
tech.	правило вывода	derivation rule
comp., MS	правило вывода аналитик	dimension derivation rule (A rule to determine a ledger dimension for classifying the financial consequences of an accounting event)
ling.	правило вывода из системы убеждений	belief-inference rule
comp., MS	правило вывода счёта ГК	main account derivation rule (A rule to determine a main account dimension for classifying the financial consequences of an accounting event)
progr.	правило логического вывода	deduction rule (ssn)
progr.	правило логического вывода	inference rule (ssn)
IT	правило логического вывода	rule of logical inference (ssn)
progr.	правило логического вывода	rule of derivation (ssn)
Makarov.	правило логического вывода	rule of inference
Makarov.	правило логического вывода	derivation rule
IT	праворекурсивное правило вывода	right recursive production
progr.	производное правило вывода	derived rule of inference (ssn)
progr.	производные правила вывода	derived rules of inference (ssn)
AI.	следовать правилам логического вывода	follow the rules of inference (Alex_Odeychuk)
automat.	язык правил вывода	production -rule language
Makarov.	язык правил вывода, порождающих правила	production-rule language
Makarov.	язык правил вывода, порождающих правила	production language