Использование А-машины в задаче автоматизации импорта и верификации данных в наукометрической информационной системедоклад на конференции