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


    Aktualne filtry:
    Rozpocznij nowe wyszukiwanie
    Dodaj filtr:

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

     | 
    Rezultaty 1-10 z 135 (Czas wyszukiwania: 0.002 sekund).
    Odsłon pozycji:
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2020Grothendieck UniversesPąk, Karol--
    2019Formalization of the MRDP Theorem in the Mizar SystemPąk, Karol--
    14-lip-2017Mapowanie grafów RDF na grafy właściwościSzeremeta, ŁukaszGomolińska, Anna; Tomaszuk, Dominik (promotor pomocniczy)-
    2019Diophantine Sets. Part IIPąk, Karol--
    2020Formalization of QuasilatticesKulesza, Dominik; Grabowski, Adam--
    2020General Theory and Tools for Proving Algorithms in Nominative Data SystemsJaszczak, Adrian--
    2020Developing Complementary Rough Inclusion FunctionsGrabowski, Adam--
    2020Elementary Number Theory Problems. Part INaumowicz, Adam--
    2020Partial Correctness of an Algorithm Computing Lucas SequencesJaszczak, Adrian--
    2020On Fuzzy Negations Generated by Fuzzy ImplicationsGrabowski, Adam--

    Odkryj