resolution inference

Terms containing resolution inference | all forms | in specified order only

Subject	English	Russian
progr.	non-resolution inference	нерезолютивный вывод (ssn)
logic	resolution inference	резолютивный вывод (Alex_Odeychuk)