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 | - | - |
| 14-lip-2017 | Mapowanie grafów RDF na grafy właściwości | Szeremeta, Łukasz | Gomolińska, Anna; Tomaszuk, Dominik (promotor pomocniczy) | - |
| 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 | - | - |
Odkryj
Temat
Posiada pliki pozycji
- 94 true
