Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |
| 2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
| 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 | - | - |
| 2017 | Introduction to Liouville Numbers | Grabowski, Adam; Korniłowicz, Artur | - | - |
| 2017 | Differentiability of Polynomials over Reals | Korniłowicz, Artur | - | - |
| 2017 | All Liouville Numbers are Transcendental | Korniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam | - | - |
| 2016 | Binary Relations-based Rough Sets – an Automated Approach | Grabowski, Adam | - | - |
| 2016 | Tarski Geometry Axioms – Part II | Coghetto, Roland; Grabowski, Adam | - | - |
Odkryj
Temat
Posiada pliki pozycji
- 88 true
