Formalized Mathematics, 2013, Volume 21, Issue 4
: [5]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Golinski, Maciej / Korniłowicz, Artur
Coproducts in Categories without Uniqueness of cod and dom - Jitsukawa, Mitsuru / Kawamoto, Pauline N. / Shidama, Yasunari
Formulation of Cell Petri Nets - Futa, Yuichi / Endou, Noboru / Shidama, Yasunari
Isometric Differentiable Functions on Real Normed Space - Narita, Keiko / Endou, Noboru / Shidama, Yasunari
Differential Equations on Functions from R into Real Banach Space - Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari
Submodule of free Z-module
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 5 z 5
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2013 | Submodule of free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Isometric Differentiable Functions on Real Normed Space | Futa, Yuichi; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Differential Equations on Functions from R into Real Banach Space | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Formulation of Cell Petri Nets | Jitsukawa, Mitsuru; Kawamoto, Pauline N.; Shidama, Yasunari | - | - |
2013 | Coproducts in Categories without Uniqueness of cod and dom | Goliński, Maciej; Korniłowicz, Artur | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 5 z 5