W BIAŁYMSTOKU
Formalized Mathematics, 2025, Volume 33, Issue 1
: [4]
Strona glówna kolekcji
Zobacz statystyki
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 4 z 4
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2025 | Free Product of Groups | Koch, Sebastian | - | - |
| 2025 | Conway’s Normal Form in the Mizar System | Pąk, Karol | - | - |
| 2025 | Surreal Dyadic and Real Numbers: A Formal Construction | Pąk, Karol | - | - |
| 2025 | Surreal Numbers: A Study of Square Roots | Pąk, Karol | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 4 z 4