W BIAŁYMSTOKU
Formalized Mathematics, 2007, Volume 15, Issue 3
: [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) |
|---|---|---|---|---|
| 2007 | Definition and some Properties of Information Entropy | Zhang, Bo; Nakamura, Yatsuka | - | - |
| 2007 | Mizar Analysis of Algorithms: Preliminaries | Bancerek, Grzegorz | - | - |
| 2007 | The Product Space of Real Normed Spaces and its Properties | Endou, Noboru; Shidama, Yasunari; Miyajima, Keiichi | - | - |
| 2007 | Several Differentiation Formulas of Special Functions. Part V | Wang, Peng; Li, Bo | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 4 z 4