Terms for subject Artificial intelligence containing процедура

Russian	English
процедура вывода	conclusive procedure (ssn)
процедура инстанцирования квантора	quantifier instantiation procedure (Microsoft Alex_Odeychuk)
процедура логического вывода без ограничений	unconstrained inference procedure (Alex_Odeychuk)
процедура логического вывода в ограничениях	constrained inference procedure (Alex_Odeychuk)
процедура элиминации кванторов	quantifier-elimination procedure (Microsoft Alex_Odeychuk)
процедуры вывода	conclusive procedures (ssn)