Зведений каталог бібліотек Харкова
Асельдеров, З. М. Языковые проблемы автоматизации доказательств теорем в формализованных теориях [Текст] / З.М. Асельдеров, О.В. Байкалова, А.В. Лялецкий та ін. // . — С. 608-613.
Автор: Асельдеров З.М., Байкалова О.В., Лялецкий А.В., Паскевич А.Ю., Вершинин К.П., Молчановский А.И.
- Анотація:
Приводится краткое описание текущего состояния системы автоматизации дедукции и проблем,с которыми сталкиваются при работе с данной системой
- Є складовою частиною документа:
Искусственный интеллект [Текст] // Искусственный интеллект ; Нац. акад. наук Украины, Ин-т проблем искусств. интеллетка - Донецк : ІПШІ "Наука і освіта" , 2003. — 2004.
- Теми документа
