Информатика, вычислительная техника и управление. Диссертация Программная система КВАНТ/1 для автоматического доказательства теорем : диссертация ... кандидата технических наук : 05.13.11, Иркутск, 1999