MathLib
LibMeta
Решение
Graph RAG
Лаборатория
Блог
О проекте
Команда
RU
EN
LibMeta
/
Нитежук М.С.
Журнал ИМТ
Цитируемый автор
Персона
Нитежук М.С.
http://libmeta.ru/resource/imt/cited_author/Нитежук_М_С
Входящие связи
← автор · 4
Верификация и поиск противоречий в базах знаний интеллектуальных систем
Верификация и поиск противоречий в базах знаний интеллектуальных систем [Электр…
Комплексная верификация продукционных баз знаний с использованием VTF-логик
Логики с векторной семантикой как средство верификации баз знаний