Przeglądaj przez Autor Koch, Sebastian
Pokazuję rezultaty 19 do 20 z 20
< Porzedni
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2019 | Underlying Simple Graphs | Koch, Sebastian | - | - |
2020 | Unification of Graphs and Relations in Mizar | Koch, Sebastian | - | - |