• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Важные объявления 1

Новости

Воркшоп "Конструктивное знание – 8: формальное представление математики"

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