Przeglądaj przez Temat 11D45
Pokazuję rezultaty 1 do 2 z 2
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |