< language > Object-oriented language for an inference system with a Lisp -like appearance, but based on set theory.
["Ontic: A Knowledge Representation System for Mathematics", D.A. McAllester, MIT Press 1989].
(1996-06-24)
< language > Object-oriented language for an inference system with a Lisp -like appearance, but based on set theory.
["Ontic: A Knowledge Representation System for Mathematics", D.A. McAllester, MIT Press 1989].
(1996-06-24)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012