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