Теория вычислимых структур над точной реализацией вещественных чисел - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

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

Язык

Русский

Тип доклада

Пленарный

Конференция

Международная школа-семинар «Синтаксис и семантика логических систем»
01-05 авг. 2022 , Владивосток

Авторы

Морозов А.С. ^1,2

Организации

1	Институт математики им. С.Л. Соболева СО РАН
2	Новосибирский государственный университет

Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел
Международная школа-семинар «Синтаксис и семантика логических систем» 01-05 авг. 2022