MathLib
LibMeta
Solutions
Graph RAG
Lab
Blog
About
Team
RU
EN
LibMeta
/
Нитежук М.С.
IMT journal
Cited author
Person
Нитежук М.С.
http://libmeta.ru/resource/imt/cited_author/Нитежук_М_С
Входящие связи
← author · 4
Верификация и поиск противоречий в базах знаний интеллектуальных систем
Верификация и поиск противоречий в базах знаний интеллектуальных систем [Электр…
Комплексная верификация продукционных баз знаний с использованием VTF-логик
Логики с векторной семантикой как средство верификации баз знаний