Sciact
  • EN
  • RU

Теория вычислимых структур над точной реализацией вещественных чисел Доклады на конференциях

Язык Русский
Тип доклада Пленарный
Конференция Международная школа-семинар «Синтаксис и семантика логических систем»
01-05 авг. 2022 , Владивосток
Авторы Морозов А.С. 1,2
Организации
1 Институт математики им. С.Л. Соболева СО РАН
2 Новосибирский государственный университет
Библиографическая ссылка: Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел
Международная школа-семинар «Синтаксис и семантика логических систем» 01-05 авг. 2022