Artykuły naukowe (WInf)
: [128]
Strona glówna kolekcji
Zobacz statystyki
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 61 do 80 z 128
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2017 | Differentiability of Polynomials over Reals | Korniłowicz, Artur | - | - |
2017 | Introduction to Liouville Numbers | Grabowski, Adam; Korniłowicz, Artur | - | - |
2017 | All Liouville Numbers are Transcendental | Korniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam | - | - |
2016 | Niven’s Theorem | Korniłowicz, Artur; Naumowicz, Adam | - | - |
2016 | Leibniz Series for π | Pąk, Karol | - | - |
2016 | Some Algebraic Properties of Polynomial Rings | Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka | - | - |
2016 | Tarski Geometry Axioms – Part II | Coghetto, Roland; Grabowski, Adam | - | - |
2016 | Binary Relations-based Rough Sets – an Automated Approach | Grabowski, Adam | - | - |
2015 | Characteristic of Rings. Prime Fields | Schwarzweller, Christoph; Korniłowicz, Artur | - | - |
2015 | Stone Lattices | Grabowski, Adam | - | - |
2015 | Euler’s Partition Theorem | Pąk, Karol | - | - |
2015 | Two Axiomatizations of Nelson Algebras | Grabowski, Adam | - | - |
2015 | Flexary Operations | Pąk, Karol | - | - |
2014 | The Formal Construction of Fuzzy Numbers | Grabowski, Adam | - | - |
2014 | The First Isomorphism Theorem and Other Properties of Rings | Korniłowicz, Artur; Schwarzweller, Christoph | - | - |
2014 | Formalization of Generalized Almost Distributive Lattices | Grabowski, Adam | - | - |
2014 | Topological Manifolds | Pąk, Karol | - | - |
2014 | Tarski Geometry Axioms | Richter, William; Grabowski, Adam; Alama, Jesse | - | - |
2014 | A Note on the Seven Bridges of Königsberg Problem | Naumowicz, Adam | - | - |
2014 | Cauchy Mean Theorem | Grabowski, Adam | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 61 do 80 z 128