Formalized Mathematics, 2020, Volume 28, Issue 3
: [3]
Strona glówna kolekcji
Zobacz statystyki
Contents
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 3 z 3
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2020 | Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials | Schwarzweller, Christoph | - | - |
2020 | Extended Natural Numbers and Counters | Koch, Sebastian | - | - |
2020 | A Case Study of Transporting Urysohn’s Lemma from Topology via Open Sets into Topology via Neighborhoods | Coghetto, Roland | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 3 z 3