REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics

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



    • Formalized Mathematics, 2008, Volume 16, Issue 3 : [7]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. Model Checking. Part II
      Kazuhisa Ishida
    2. Modular Integer Arithmetic
      Christoph Schwarzweller
    3. General Theory of Quasi-Commutative BCI-algebras
      Tao Sun, Weibo Pan, Chenglong Wu, Xiquan Liang
    4. Block Diagonal Matrices
      Karol Pąk
    5. Linear Map of Matrices
      Karol Pąk
    6. Orthomodular Lattices
      Elżbieta Mądra, Adam Grabowski
    7. Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences
      Yatsuka Nakamura, Hisashi Ito

    Przeglądaj
    Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach. RSS Feed RSS Feed RSS Feed
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2008Basic Properties and Concept of Selected Subsequence of Zero Based Finite SequencesNakamura, Yatsuka; Ito, Hisashi--
    2008Orthomodular LatticesMądra, Elżbieta; Grabowski, Adam--
    2008Linear Map of MatricesPąk, Karol--
    2008Block Diagonal MatricesPąk, Karol--
    2008General Theory of Quasi-Commutative BCI-algebrasSun, Tao; Pan, Weibo; Wu, Chenglong; Liang, Xiquan--
    2008Modular Integer ArithmeticSchwarzweller, Christoph--
    2008Model Checking. Part IIIshida, Kazuhisa--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7

    Odkryj

    Data wydania
    Posiada pliki pozycji