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 171-180 z 531 (Czas wyszukiwania: 0.002 sekund).
    Odsłon pozycji:
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2021Real Vector Space and Related NotionsNakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari--
    2023The Ring of Conway Numbers in MizarPąk, Karol--
    2023Tarski Geometry Axioms. Part V – Half-planes and PlanesCoghetto, Roland; Grabowski, Adam--
    2022Formalization of Orthogonal Decomposition for Hilbert SpacesOkazaki, Hiroyuki--
    2022Prime Representing Polynomial with 10 UnknownsPąk, Karol--
    2024Formal Proof of Transcendence of the Number e. Part IWatase, Yasushige--
    2023Elementary Number Theory Problems. Part IXKorniłowicz, Artur--
    2023Integration of Game Theoretic and Tree Theoretic Approaches to Conway NumbersPąk, Karol--
    2023Elementary Number Theory Problems. Part X – Diophantine EquationsKorniłowicz, Artur--
    2023Simple ExtensionsSchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--

    Odkryj