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



    • Przeglądaj przez Autor Bancerek, Grzegorz

    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 17 z 17
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2010A Model of Mizar Concepts - UnificationBancerek, Grzegorz--
    2014Abstract Reduction Systems and Idea of Knuth-Bendix Completion AlgorithmBancerek, Grzegorz--
    2014Algebraic Approach to Algorithmic LogicBancerek, Grzegorz--
    2013Analysis of Algorithms: An Example of a Sort AlgorithmBancerek, Grzegorz--
    2009Epsilon Numbers and Cantor Normal FormBancerek, Grzegorz--
    2012Free Term AlgebrasBancerek, Grzegorz--
    2008Mizar Analysis of Algorithms: Algorithms over IntegersBancerek, Grzegorz--
    2016On Multiset OrderingBancerek, Grzegorz--
    2012Program Algebra over an AlgebraBancerek, Grzegorz--
    2011Representation Theorem for StacksBancerek, Grzegorz--
    2012Semantics of MML QueryBancerek, Grzegorz--
    2013Semantics of MML Query - OrderingBancerek, Grzegorz--
    2011Sorting by ExchangingBancerek, Grzegorz--
    2014Term ContextBancerek, Grzegorz--
    2008Towards the Construction of a Model of Mizar ConceptsBancerek, Grzegorz--
    2012Valuation Theory. Part IBancerek, Grzegorz; Kobayashi, Hidetsune; Korniłowicz, Artur--
    2011Veblen HierarchyBancerek, Grzegorz--
    Pokazuję rezultaty 1 do 17 z 17