Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2017 | Pell’s Equation | Acewicz, Marcin; Pąk, Karol | - | - |
2019 | Partial Correctness of a Power Algorithm | Jaszczak, Adrian | - | - |
2018 | On Algebras of Algorithms and Specifications over Uninterpreted Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | Partial Correctness of GCD Algorithm | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2015 | Euler’s Partition Theorem | Pąk, Karol | - | - |
2017 | Differentiability of Polynomials over Reals | Korniłowicz, Artur | - | - |
2017 | Basic Formal Properties of Triangular Norms and Conorms | Grabowski, Adam | - | - |
2016 | Some Algebraic Properties of Polynomial Rings | Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka | - | - |
2016 | Niven’s Theorem | Korniłowicz, Artur; Naumowicz, Adam | - | - |
2016 | Leibniz Series for π | Pąk, Karol | - | - |
Odkryj
Temat
Data wydania