Formalized Mathematics, 2019, Volume 27, Issue 4
: [2]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 2 z 2
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2019 | Formal Development of Rough Inclusion Functions | Grabowski, Adam | - | - |
2019 | AIM Loops and the AIM Conjecture | Brown, Chad E.; Pąk, Karol | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 2 z 2