Математика. Диссертация Формально-грамматическая модель логического вывода в системах искусственного интеллекта : диссертация ... кандидата физико-математических наук : 01.01.09, Санкт-Петербург, 1999