W BIAŁYMSTOKU
Formalized Mathematics, 2011, Volume 19, Issue 2
: [9]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Inoué, Takao / Naumowicz, Adam / Endou, Noboru / Shidama, Yasunari
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces - Okazaki, Hiroyuki / Endou, Noboru / Narita, Keiko / Shidama, Yasunari
Differentiable Functions into Real Normed Spaces - Nittka, Robin
Conway's Games and Some of their Basic Properties - Bancerek, Grzegorz
Veblen Hierarchy - Bancerek, Grzegorz
Sorting by Exchanging - Pąk, Karol
Linear Transformations of Euclidean Topological Spaces - Pąk, Karol
Linear Transformations of Euclidean Topological Spaces. Part II - Giero, Mariusz
The Axiomatization of Propositional Linear Time Temporal Logic - Kanazashi, Katuhiko / Okazaki, Hiroyuki / Shidama, Yasunari
Banach Algebra of Bounded Complex-Valued Functionals
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 9 z 9
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2011 | The Axiomatization of Propositional Linear Time Temporal Logic | Giero, Mariusz | - | - |
| 2011 | Banach Algebra of Bounded Complex-Valued Functionals | Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2011 | Linear Transformations of Euclidean Topological Spaces. Part II | Pąk, Karol | - | - |
| 2011 | Conway's Games and Some of their Basic Properties | Nittka, Robin | - | - |
| 2011 | Sorting by Exchanging | Bancerek, Grzegorz | - | - |
| 2011 | Veblen Hierarchy | Bancerek, Grzegorz | - | - |
| 2011 | Differentiable Functions into Real Normed Spaces | Okazaki, Hiroyuki; Endou, Noboru; Narita, Keiko; Shidama, Yasunari | - | - |
| 2011 | Linear Transformations of Euclidean Topological Spaces | Pąk, Karol | - | - |
| 2011 | Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces | Inoué, Takao; Naumowicz, Adam; Endou, Noboru; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 9 z 9