Журналы
Разделы книг
Статьи по ключевому слову formalisation of knowledge
Ю. И. Нечаев - д. т. н., профессор, Санкт-Петербургский государственный университет информационных технологий, механики и оптики
В. П. Осипов - к. т. н., вед. научн. сотрудник, Институт прикладной математики РАН им. М.В.Келдыша