REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Wyszukaj


    Rozpocznij nowe wyszukiwanie
    Dodaj filtr:

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

     | 
    Rezultaty 3186-3250 z 18335 (Czas wyszukiwania: 0.005 sekund).
    Odsłon pozycji:
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2016Some Algebraic Properties of Polynomial RingsSchwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka--
    2016Niven’s TheoremKorniłowicz, Artur; Naumowicz, Adam--
    2016Leibniz Series for πPąk, Karol--
    2014Brouwer Invariance of Domain TheoremPąk, Karol--
    2017Introduction to Liouville NumbersGrabowski, Adam; Korniłowicz, Artur--
    2014Tietze Extension Theorem for n-dimensional SpacesPąk, Karol--
    2018Sequences of Prime Reciprocals. PreliminariesGrabowski, Adam--
    2014Definition of Flat Poset and Existence Theorems for Recursive CallIshida, Kazuhisa; Shidama, Yasunari; Grabowski, Adam--
    2014Topological Interpretation of Rough SetsGrabowski, Adam--
    2014Cauchy Mean TheoremGrabowski, Adam--
    2013Prime Filters and Ideals in Distributive LatticesGrabowski, Adam--
    2014Pseudo-Canonical Formulae are ClassicalCaminati, Marco B.; Korniłowicz, Artur--
    2013Coproducts in Categories without Uniqueness of cod and domGoliński, Maciej; Korniłowicz, Artur--
    2016Tarski Geometry Axioms – Part IICoghetto, Roland; Grabowski, Adam--
    2018Formalizing Two Generalized Approximation OperatorsGrabowski, Adam; Sielwiesiuk, Michał--
    2014Formalization of Generalized Almost Distributive LatticesGrabowski, Adam--
    2019Partial Correctness of a Factorial AlgorithmJaszczak, Adrian; Korniłowicz, Artur--
    2018Diophantine sets. PreliminariesPąk, Karol--
    2014Topological ManifoldsPąk, Karol--
    2014Tarski Geometry AxiomsRichter, William; Grabowski, Adam; Alama, Jesse--
    2014The Formal Construction of Fuzzy NumbersGrabowski, Adam--
    2014Bertrand’s Ballot TheoremPąk, Karol--
    2014A Note on the Seven Bridges of Königsberg ProblemNaumowicz, Adam--
    2014The First Isomorphism Theorem and Other Properties of RingsKorniłowicz, Artur; Schwarzweller, Christoph--
    2013On Square-Free NumbersGrabowski, Adam--
    2015Two Axiomatizations of Nelson AlgebrasGrabowski, Adam--
    2012The Borsuk-Ulam TheoremKorniłowicz, Artur; Riccardi, Marco--
    2012Cayley-Dickson ConstructionKorniłowicz, Artur--
    2013Relational Formal Characterization of Rough SetsGrabowski, Adam--
    2013More on Divisibility Criteria for Selected PrimesNaumowicz, Adam; Piliszek, Radosław--
    2013Commutativeness of Fundamental Groups of Topological GroupsKorniłowicz, Artur--
    2012Products in Categories without Uniqueness of cod and domKorniłowicz, Artur--
    2012The Friendship TheoremPąk, Karol--
    2017All Liouville Numbers are TranscendentalKorniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam--
    2017Formal Introduction to Fuzzy ImplicationsGrabowski, Adam--
    2018On Two Alternative Axiomatizations of Lattices by McKenzie and SholanderGrabowski, Adam; Sawicki, Damian--
    2017Basel Problem – PreliminariesKorniłowicz, Artur; Pąk, Karol--
    2017Basel ProblemPąk, Karol; Korniłowicz, Artur--
    2018Basic Diophantine RelationsAcewicz, Marcin; Pąk, Karol--
    2018An Inference System of an Extension of Floyd-Hoare Logic for Partial PredicatesIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
    2017The Matiyasevich Theorem. PreliminariesPąk, Karol--
    2018Fundamental Properties of Fuzzy ImplicationsGrabowski, Adam--
    2017Vieta’s Formula about the Sum of Roots of PolynomialsKorniłowicz, Artur; Pąk, Karol--
    2017Wpływ kryzysu finansowego 2007-2009 na strukturę hierarchiczną europejskich rynków kapitałowychMajewska, Elżbieta--
    2017Tarski Geometry Axioms. Part IIICoghetto, Roland; Grabowski, Adam--
    2017Simple-Named Complex-Valued Nominative Data – Definition and Basic OperationsIvanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur--
    2015Characteristic of Rings. Prime FieldsSchwarzweller, Christoph; Korniłowicz, Artur--
    2018Kleene Algebra of Partial PredicatesKorniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola--
    2019Formalization of the MRDP Theorem in the Mizar SystemPąk, Karol--
    2015Flexary OperationsPąk, Karol--
    2015Stone LatticesGrabowski, Adam--
    2019Diophantine Sets. Part IIPąk, Karol--
    2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
    2016Binary Relations-based Rough Sets – an Automated ApproachGrabowski, Adam--
    2012Contracting Mapping on Normed Linear SpaceMiyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari--
    2019Tarski Geometry Axioms. Part IV – Right AngleCoghetto, Roland; Grabowski, Adam--
    2013Polygonal NumbersGrabowski, Adam--
    2012Fundamental Group of n-sphere for n ≥ 2Riccardi, Marco; Korniłowicz, Artur--
    2012The Rotation GroupPąk, Karol--
    2012Valuation Theory. Part IBancerek, Grzegorz; Kobayashi, Hidetsune; Korniłowicz, Artur--
    2012The Differentiable Functions from R into RⁿNarita, Keiko; Korniłowicz, Artur; Shidama, Yasunari--
    2012Riemann Integral of Functions from R into n-dimensional Real Normed SpaceMiyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari--
    14-lip-2017Mapowanie grafów RDF na grafy właściwościSzeremeta, ŁukaszGomolińska, Anna; Tomaszuk, Dominik (promotor pomocniczy)-
    2011Continuity of Barycentric Coordinates in Euclidean Topological SpacesPąk, Karol--
    2010Affine Independence in Vector SpacesPąk, Karol--
    Rezultaty 3186-3250 z 18335 (Czas wyszukiwania: 0.005 sekund).

    Odkryj