REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2009, Volume 17, Issue 3

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



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3545
    Tytuł: Small Inductive Dimension of Topological Spaces
    Autorzy: Pąk, Karol
    Data wydania: 2009
    Data dodania: 2-gru-2015
    Wydawca: De Gruyter Open
    Źródło: Formalized Mathematics, Volume 17, Issue 3, 2009, Pages 207-212
    Abstrakt: We present the concept and basic properties of the Menger-Urysohn small inductive dimension of topological spaces according to the books [7]. Namely, the paper includes the formalization of main theorems from Sections 1.1 and 1.2.
    Afiliacja: Institute of Computer Science, University of Białystok, Poland
    URI: http://hdl.handle.net/11320/3545
    DOI: 10.2478/v10037-009-0025-7
    ISSN: 1426-2630
    1898-9934
    Typ Dokumentu: Article
    Występuje w kolekcji(ach):Artykuły naukowe (WInf)
    Formalized Mathematics, 2009, Volume 17, Issue 3

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    v10037-009-0025-7.pdf215,62 kBAdobe PDFOtwórz
    Pokaż pełny widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons