Эпистемология компьютерного доказательства с точки зрения теоретико-типового подхода к основаниям математики

Проект: Проект-Грант

СтатусАктивный
Действительная дата начала/окончания01/01/201931/12/2021

Keywords

  • РФФИ
  • НИЧ Куйбышева