Автоматический перевод математических текстов с естественного языка в язык логики предикатовдипломная работа (Бакалавр)