|
|
ВА703449
Кондратенко, Виктория Александровна.
Теория и практика искусственного интеллекта в автоматическом доказательстве теорем [Текст] : методические указания по матем. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта / В. А. Кондратенко, А. И. Кондратенко. - К. : Полиграфкнига, 2006. - 80 с. - Библиогр.: с. 77. - ISBN 966-530-081-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Кондратенко, Александр Иванович
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
|
|