Przeglądaj przez Autor Mieno, Takehiko
Pokazuję rezultaty 1 do 1 z 1
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2025 | Formalization of Separable Version of Banach–Alaoglu Theorem | Okazaki, Hiroyuki; Mieno, Takehiko | - | - |
