Formalized Mathematics, 2009, Volume 17, Issue 1
: [5]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Nakamura, Yatsuka / Korniłowicz, Artur / Oya, Nagato / Shidama, Yasunari
The Real Vector Spaces of Finite Sequences are Finite Dimensional - Li, Bo / Zhuang, Yanping / Xie, Bing / Wang, Pan
Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions - Li, Bo / Zhuang, Yanping / Men, Yanhong / Liang, Xiquan
Several Integrability Formulas of Special Functions. Part II - Jitsukawa, Mitsuru / Kawamoto, Pauline / Shidama, Yasunari / Nakamura, Yatsuka
Cell Petri Net Concepts - Korniłowicz, Artur
Arithmetic Operations on Functions from Sets into Functional Sets
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) |
---|---|---|---|---|
2009 | Arithmetic Operations on Functions from Sets into Functional Sets | Korniłowicz, Artur | - | - |
2009 | Cell Petri Net Concepts | Jitsukawa, Mitsuru; Kawamoto, Pauline N.; Shidama, Yasunari; Nakamura, Yatsuka | - | - |
2009 | Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions | Li, Bo; Zhuang, Yanping; Xie, Bing; Wang, Pan | - | - |
2009 | Several Integrability Formulas of Special Functions. Part II | Li, Bo; Zhuang, Yanping; Men, Yanhong; Liang, Xiquan | - | - |
2009 | The Real Vector Spaces of Finite Sequences are Finite Dimensional | Nakamura, Yatsuka; Korniłowicz, Artur; Oya, Nagato; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 5 z 5