REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:

Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 1-10 z 37 (Czas wyszukiwania: 0.01 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2017Differentiability of Polynomials over RealsKorniłowicz, Artur--
2016Some Algebraic Properties of Polynomial RingsSchwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka--
2016Niven’s TheoremKorniłowicz, Artur; Naumowicz, Adam--
2017Introduction to Liouville NumbersGrabowski, Adam; Korniłowicz, Artur--
2014Pseudo-Canonical Formulae are ClassicalCaminati, Marco B.; Korniłowicz, Artur--
2013Coproducts in Categories without Uniqueness of cod and domGoliński, Maciej; Korniłowicz, Artur--
2019Partial Correctness of a Factorial AlgorithmJaszczak, Adrian; Korniłowicz, Artur--
2014The First Isomorphism Theorem and Other Properties of RingsKorniłowicz, Artur; Schwarzweller, Christoph--