W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 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 | - | - |
| 2017 | Differentiability of Polynomials over Reals | Korniłowicz, Artur | - | - |
| 2016 | Some Algebraic Properties of Polynomial Rings | Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka | - | - |
| 2016 | Niven’s Theorem | Korniłowicz, Artur; Naumowicz, Adam | - | - |
| 2017 | Introduction to Liouville Numbers | Grabowski, Adam; Korniłowicz, Artur | - | - |
| 2014 | Pseudo-Canonical Formulae are Classical | Caminati, Marco B.; Korniłowicz, Artur | - | - |
| 2013 | Coproducts in Categories without Uniqueness of cod and dom | Goliński, Maciej; Korniłowicz, Artur | - | - |
| 2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
| 2014 | The First Isomorphism Theorem and Other Properties of Rings | Korniłowicz, Artur; Schwarzweller, Christoph | - | - |