Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Annals of Mathematics and Artificial Intelligence
журнал
Индексирование: Scopus (1 января 1970 г.-), JCR (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), Белый список (20 октября 2022 г.-)
Период активности журнала: не указан
Издательство:
Springer Verlag
Местоположение издательства:
Germany
ISSN:
1012-2443 (Print), 1573-7470
Статьи, опубликованные в журнале
2007
An approach to automatic deductive synthesis of functional programs
Korukhova Yulia
в журнале
Annals of Mathematics and Artificial Intelligence
, издательство
Springer Verlag
(Germany)
, том 50, № 3-4, с. 255-271
DOI