|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
The complexity of multiplicative-additive Lambek calculus: 25 years laterдоклад на конференции
- Авторы: Kanovich Max, Kuznetsov Stepan, Scedrov Andre
- Международная Конференция : WoLLIC 2019
- Даты проведения конференции: 2-5 июля 2019
- Дата доклада: 4 июля 2019
- Тип доклада: Пленарный
- Докладчик: Kuznetsov Stepan
- Место проведения: Утрехт, Netherlands
- Добавил в систему: Кузнецов Степан Львович