Cписок

Асельдеров З.М., Молчановский А.И.
Организация базы данных в системе автоматического доказательства теорем САД.

Вид документа: Стаття періодики
Автор: Асельдеров З.М., Молчановский А.И. Вид автора: персона
Мова: Російська Обсяг: С. 353-360
УДК: 510.6:519.1

Аннотацiя:

В работе приводится сетевая модель базы знаний для представления знаний в системе автоматического доказательства теорем САД. Рассматриваются необходимые свойства такого представления, очерчиваются напрвления будущих исследований.

Є складовою частиною документа: Искусственный интеллект

Відомості щодо назви

Відомості про відповідальність:

Национальный технический университет Украины "КПИ". г.Киев, Украина

Відомості щодо головного

Назва головного документа:

Искусственный интеллект

Дата видання головного документа:

2006

Номер частини головного документа:

Теми документа: