Теория вычислимых структур над точной реализацией вещественных чисел Conference attendances
Language | Русский | ||||
---|---|---|---|---|---|
Participant type | Пленарный | ||||
Conference |
Международная школа-семинар «Синтаксис и семантика логических систем» 01-05 Aug 2022 , Владивосток |
||||
Authors |
|
||||
Affiliations |
|
Cite:
Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел
Международная школа-семинар «Синтаксис и семантика логических систем» 01-05 авг. 2022
Теория вычислимых структур над точной реализацией вещественных чисел
Международная школа-семинар «Синтаксис и семантика логических систем» 01-05 авг. 2022