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