Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
25th Workshop on Automated Reasoning
Семинар (workshop)
Охват:
Международная
Даты проведения:
12-13 апреля 2018
Место проведения:
Кэмбридж, United Kingdom
Число участников:
58
Число иностранных участников:
57
Число участников из МГУ:
1
Число докладчиков:
22
Веб-сайт:
http://www.cl.cam.ac.uk/events/arw2018/
Добавил в систему:
Горчаков Александр Евгеньевич
Доклады:
2018
Tuning Natural Deduction Proof Search by Analytic Methods.
(Устный)
Авторы:
Gorchakov A.E.
,
Bolotov A.E.