Guo Yizhou
| Student | Guo Yizhou |
|---|---|
| Main field of study | 01.04.01 Mathematics |
| Qualification | Master |
| Title | Congruence closure over interpreted symbols |
| Status | Published |
| Editor | Doctor of Physics and Mathematics F.V.Petrov |
| Year | 2023 |
| Student | Guo Yizhou |
|---|---|
| Main field of study | 01.04.01 Mathematics |
| Qualification | Master |
| Title | Congruence closure over interpreted symbols |
| Status | Published |
| Editor | Doctor of Physics and Mathematics F.V.Petrov |
| Year | 2023 |