Эвиденциальная парадигма и обработка математических текстов в системе САД - А. В. Лялецкий; П. П. Процик (Изд-во НАН РА)
Keywords: Mathematics; Computer software