Formalized Mathematics, 2021, Volume 29, 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) |
---|---|---|---|---|
2021 | Algorithm NextFit for the Bin Packing Problem | Fujiwara, Hiroshi; Adachi, Ryota; Yamamoto, Hiroaki | - | - |
2021 | Splitting Fields | Schwarzweller, Christoph | - | - |
2021 | Real Vector Space and Related Notions | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 3 z 3