|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Towards generalized proof search for natural deduction systems for logics I<,>доклад на конференции
- Авторы: Шангин В.О., Болотов А.Е.
- Международная Конференция (Семинар (workshop)) : Automated Reasoning Workshop; May, 19-20, 2016; University of Liverpool
- Даты проведения конференции: 19-20 мая 2016
- Дата доклада: 20 мая 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Ливерпуль, United Kingdom
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Шангин Василий Олегович