Один язык для спецификации онтологийОписывается некоторый язык для спецификации онтологий, входящий в систему «
Бинарная Модель Знаний
Интеграция логики движения и бинарной модели данных и знанийВ статье рассмотрены логика движения и
бинарная модель знаний. Показано, как можно объединить их в
Бинарная аддитивная задача с простыми числами специального видаБинарная аддитивная задача с простыми числами специального вида