Братчиков. Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта. ТС [Интернет]. 1апр.2002 [цитируется по 25апр.2024];2(1):253-62. Available from: http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1117