расширенный поиск
Дата публикации: 2013
Дата публикации в реестре: 2020-03-03T20:57:57Z
Целью исследования является разработка алгоритмов проверки согласованности баз знаний, сокращающих вычислительную сложность табличных методов на определенных классах баз знаний.
Тип: Thesis
Права: open access