W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2013 | On Square-Free Numbers | Grabowski, Adam | - | - |
| 2013 | Introduction to Formal Preference Spaces | Niewiadomska, Eliza; Grabowski, Adam | - | - |
| 2017 | Tarski Geometry Axioms. Part III | Coghetto, Roland; Grabowski, Adam | - | - |
| 2012 | The Friendship Theorem | Pąk, Karol | - | - |
| 2011 | Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces | Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari | - | - |
| 2025 | Surreal Dyadic and Real Numbers: A Formal Construction | Pąk, Karol | - | - |
| 2025 | Conway’s Normal Form in the Mizar System | Pąk, Karol | - | - |
| 2025 | Surreal Numbers: A Study of Square Roots | Pąk, Karol | - | - |
| 2025 | Elementary Number Theory Problems. Part XVII | Korniłowicz, Artur; Naumowicz, Adam | - | - |
| 2025 | Elementary Number Theory Problems. Part XVIII | Grabowski, Adam | - | - |