Terms containing inference algorithm

Subject	English	Russian
AI.	approximate inference algorithm	алгоритм приближённого вывода (Alex_Odeychuk)
progr.	Damas-Milner type inference algorithm	алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk)
AI.	inference algorithm	алгоритм логического вывода (Alex_Odeychuk)
IT	inference-based algorithm	алгоритм, основанный на логическом выводе
progr.	type inference algorithm	алгоритм вывода типов (Alex_Odeychuk)