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 24 do 43 z 46 < Porzedni   Dalej >
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
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--
2011More on the Continuity of Real FunctionsNarita, Keiko; Korniłowicz, Artur; Shidama, Yasunari--
2016Niven’s TheoremKorniłowicz, Artur; Naumowicz, Adam--
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2010On the Continuity of Some FunctionsKorniłowicz, Artur--
2019Partial Correctness of a Factorial AlgorithmJaszczak, Adrian; Korniłowicz, Artur--
2020Partial Correctness of a Fibonacci AlgorithmKorniłowicz, Artur--
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2012Products in Categories without Uniqueness of cod and domKorniłowicz, Artur--
2014Pseudo-Canonical Formulae are ClassicalCaminati, Marco B.; Korniłowicz, Artur--
2012Riemann Integral of Functions from R into n-dimensional Real Normed SpaceMiyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari--
2017Simple-Named Complex-Valued Nominative Data – Definition and Basic OperationsIvanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur--
2016Some Algebraic Properties of Polynomial RingsSchwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka--
2012The Borsuk-Ulam TheoremKorniłowicz, Artur; Riccardi, Marco--
2010The Correspondence Between n-dimensional Euclidean Space and the Product of n Real LinesKorniłowicz, Artur--
2012The Differentiable Functions from R into RⁿNarita, Keiko; Korniłowicz, Artur; Shidama, Yasunari--
2014The First Isomorphism Theorem and Other Properties of RingsKorniłowicz, Artur; Schwarzweller, Christoph--