ИСТИНА

• Охват: Международная
• Даты проведения: 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.