Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
WoLLIC 2017
Конференция
Охват:
Международная
Даты проведения:
17 июля - 22 декабря 2017
Место проведения:
London, United Kingdom
Организатор:
University College London, 18-21 July
Число участников:
30
Число участников из МГУ:
2
Число докладчиков:
20
Веб-сайт:
http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/#!/
Добавил в систему:
Беклемишев Лев Дмитриевич
Доклады:
2017
On the reflection calculus with partial conservativity operators
(Устный)
Автор:
Beklemishev L.D.
2017
The Lambek calculus with iteration: two variants
(Пленарный)
Автор:
Stepan Kuznetsov