W BIAŁYMSTOKU
Formalized Mathematics, 2014, Volume 22, Issue 3
: [7]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
Some Remarkable Identities Involving Numbers
Topological Properties of Real Normed Space
Algebraic Approach to Algorithmic Logic
Formalization of Generalized Almost Distributive Lattices
Difference of Function on Vector Space over F
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2014 | Algebraic Approach to Algorithmic Logic | Bancerek, Grzegorz | - | - |
| 2014 | Difference of Function on Vector Space over F | Arai, Kenichi; Wakabayashi, Ken; Okazaki, Hiroyuki | - | - |
| 2014 | Topological Properties of Real Normed Space | Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari | - | - |
| 2014 | Formalization of Generalized Almost Distributive Lattices | Grabowski, Adam | - | - |
| 2014 | Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance | Jaeger, Peter | - | - |
| 2014 | Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module | Nakasho, Kazuhisa; Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2014 | Some Remarkable Identities Involving Numbers | Ziobro, Rafał | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7