< logic > The logical process by which new facts are derived from known facts by the application of inference rule s.
See also symbolic inference , type inference .
(1995-03-20)
< logic > The logical process by which new facts are derived from known facts by the application of inference rule s.
See also symbolic inference , type inference .
(1995-03-20)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012