W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2020 | Grothendieck Universes | Pąk, Karol | - | - |
| 2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |
| 2023 | On Bag of 1. Part I | Watase, Yasushige | - | - |
| 2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
| 2019 | Invertible Operators on Banach Spaces | Nakasho, Kazuhisa | - | - |
| 2020 | Formalization of Quasilattices | Kulesza, Dominik; Grabowski, Adam | - | - |
| 2019 | Natural Addition of Ordinals | Koch, Sebastian | - | - |
| 2019 | On Monomorphisms and Subfields | Schwarzweller, Christoph | - | - |
| 2019 | Implicit Function Theorem. Part II | Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
| 2023 | Normal Extensions | Schwarzweller, Christoph | - | - |