W BIAŁYMSTOKU
Przeglądaj przez Autor Korniłowicz, Artur
Pokazuję rezultaty 29 do 46 z 46
< Porzedni
| 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 | On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2010 | On the Continuity of Some Functions | Korniłowicz, Artur | - | - |
| 2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
| 2020 | Partial Correctness of a Fibonacci Algorithm | Korniłowicz, Artur | - | - |
| 2018 | Partial Correctness of GCD Algorithm | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2012 | Products in Categories without Uniqueness of cod and dom | Korniłowicz, Artur | - | - |
| 2014 | Pseudo-Canonical Formulae are Classical | Caminati, Marco B.; Korniłowicz, Artur | - | - |
| 2012 | Riemann Integral of Functions from R into n-dimensional Real Normed Space | Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari | - | - |
| 2017 | Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations | Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur | - | - |
| 2016 | Some Algebraic Properties of Polynomial Rings | Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka | - | - |
| 2012 | The Borsuk-Ulam Theorem | Korniłowicz, Artur; Riccardi, Marco | - | - |
| 2010 | The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines | Korniłowicz, Artur | - | - |
| 2012 | The Differentiable Functions from R into Rⁿ | Narita, Keiko; Korniłowicz, Artur; Shidama, Yasunari | - | - |
| 2014 | The First Isomorphism Theorem and Other Properties of Rings | Korniłowicz, Artur; Schwarzweller, Christoph | - | - |
| 2009 | The Real Vector Spaces of Finite Sequences are Finite Dimensional | Nakamura, Yatsuka; Korniłowicz, Artur; Oya, Nagato; Shidama, Yasunari | - | - |
| 2012 | Valuation Theory. Part I | Bancerek, Grzegorz; Kobayashi, Hidetsune; Korniłowicz, Artur | - | - |
| 2017 | Vieta’s Formula about the Sum of Roots of Polynomials | Korniłowicz, Artur; Pąk, Karol | - | - |