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