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 94 (Czas wyszukiwania: 0.003 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2019Formalization of the MRDP Theorem in the Mizar SystemPąk, Karol--
14-lip-2017Mapowanie grafów RDF na grafy właściwościSzeremeta, ŁukaszGomolińska, Anna; Tomaszuk, Dominik (promotor pomocniczy)-
2019Diophantine Sets. Part IIPąk, Karol--
2016Niven’s TheoremKorniłowicz, Artur; Naumowicz, Adam--
2016Leibniz Series for πPąk, Karol--
2016Some Algebraic Properties of Polynomial RingsSchwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka--
2017Introduction to Liouville NumbersGrabowski, Adam; Korniłowicz, Artur--
2017Differentiability of Polynomials over RealsKorniłowicz, Artur--
2017All Liouville Numbers are TranscendentalKorniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam--
2016Binary Relations-based Rough Sets – an Automated ApproachGrabowski, Adam--