Воркшоп "Конструктивное знание – 8: формальное представление математики"
Старший научный сотрудник Международной лабораторией логики, лингвистики и формальной философии Андрей Вячеславович Родин и Сергей Протасович Ковалёв (ИПУ РАН) выступили с докладом "Формальная эпистемология и компьютерное представление знаний" в рамках воркшопа "Конструктивное знание – 8: формальное представление математики".
Дата
28 февраля
2019
Рубрики
В статье упомянуты
Персоны
Родин Андрей Вячеславович
Международная лаборатория логики, лингвистики и формальной философии: Старший научный сотрудник