W BIAŁYMSTOKU
Formalized Mathematics, 2017, Volume 25, Issue 3
: [8]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
-
Futa, Yuichi / Shidama, Yasunari
Isomorphism Theorem on Vector Spaces over a Ring
-
Narita, Keiko / Nakasho, Kazuhisa / Shidama, Yasunari
F. Riesz Theorem
-
Schwarzweller, Christoph
On Roots of Polynomials and Algebraically Closed Fields
-
Acewicz, Marcin / Pąk, Karol
Pell’s Equation
-
Ivanov, Ievgen / Nikitchenko, Mykola / Kryvolap, Andrii / Korniłowicz, Artur
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
-
Coghetto, Roland
Gauge Integral
-
Endou, Noboru
Integral of Non Positive Functions
-
Grabowski, Adam
Formal Introduction to Fuzzy Implications
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2017 | Formal Introduction to Fuzzy Implications | Grabowski, Adam | - | - |
| 2017 | Integral of Non Positive Functions | Endou, Noboru | - | - |
| 2017 | Gauge Integral | Coghetto, Roland | - | - |
| 2017 | Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations | Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur | - | - |
| 2017 | On Roots of Polynomials and Algebraically Closed Fields | Schwarzweller, Christoph | - | - |
| 2017 | F. Riesz Theorem | Narita, Keiko; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
| 2017 | Pell’s Equation | Acewicz, Marcin; Pąk, Karol | - | - |
| 2017 | Isomorphism Theorem on Vector Spaces over a Ring | Futa, Yuichi; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8