REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj przez Autor Korniłowicz, Artur

Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
lub wpisz kilka początkowych liter:  
Pokazuję rezultaty 1 do 20 z 36  Dalej >
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2017All Liouville Numbers are TranscendentalKorniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam--
2018An Inference System of an Extension of Floyd-Hoare Logic for Partial PredicatesIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2009Arithmetic Operations on Functions from Sets into Functional SetsKorniłowicz, Artur--
2017Basel ProblemPąk, Karol; Korniłowicz, Artur--
2017Basel Problem – PreliminariesKorniłowicz, Artur; Pąk, Karol--
2011Cayley's TheoremKorniłowicz, Artur--
2012Cayley-Dickson ConstructionKorniłowicz, Artur--
2015Characteristic of Rings. Prime FieldsSchwarzweller, Christoph; Korniłowicz, Artur--
2009Collective Operations on Number-Membered SetsKorniłowicz, Artur--
2013Commutativeness of Fundamental Groups of Topological GroupsKorniłowicz, Artur--
2012Contracting Mapping on Normed Linear SpaceMiyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari--
2013Coproducts in Categories without Uniqueness of cod and domGoliński, Maciej; Korniłowicz, Artur--
2017Differentiability of Polynomials over RealsKorniłowicz, Artur--
2012Fundamental Group of n-sphere for n ≥ 2Riccardi, Marco; Korniłowicz, Artur--
2017Introduction to Liouville NumbersGrabowski, Adam; Korniłowicz, Artur--
2018Kleene Algebra of Partial PredicatesKorniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola--
2011Mazur-Ulam TheoremKorniłowicz, Artur--
2010Miscellaneous Facts about Open Functions and Continuous FunctionsKorniłowicz, Artur--
2016Niven’s TheoremKorniłowicz, Artur; Naumowicz, Adam--
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--