Formalized Mathematics, 2016, Volume 24, Issue 4
: [7]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
-
Coghetto, Roland
Homography in ℝℙ
-
Nakasho, Kazuhisa / Narita, Keiko / Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
-
Ziobro, Rafał
On Subnomials
-
Pąk, Karol
Leibniz Series for π
-
Giero, Mariusz
The Axiomatization of Propositional Logic
-
Watase, Yasushige
Algebraic Numbers
-
Korniłowicz, Artur / Naumowicz, Adam
Niven’s Theorem
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) |
---|---|---|---|---|
2016 | Niven’s Theorem | Korniłowicz, Artur; Naumowicz, Adam | - | - |
2016 | The Axiomatization of Propositional Logic | Giero, Mariusz | - | - |
2016 | Algebraic Numbers | Watase, Yasushige | - | - |
2016 | On Subnomials | Ziobro, Rafał | - | - |
2016 | Leibniz Series for π | Pąk, Karol | - | - |
2016 | Homography in ℝℙ | Coghetto, Roland | - | - |
2016 | The Basic Existence Theorem of Riemann-Stieltjes Integral | Nakasho, Kazuhisa; Narita, Keiko; Shidama, Yasunari | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7