Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
Journal of Automated Reasoning
журнал
Индексирование: JCR (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), Scopus (1 января 1970 г.-)
Период активности журнала: не указан
Издательство:
Springer Nature
Местоположение издательства:
Switzerland
ISSN:
0168-7433 (Print), 1573-0670
Статьи, опубликованные в журнале
2003
Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification
Voronkov Andrey
в журнале
Journal of Automated Reasoning
, издательство
Springer Nature
(Switzerland)
, том 30, № 2, с. 121-151
DOI