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, 2021, Volume 29, Issue 3 : [3]
    Strona glówna kolekcji Zobacz statystyki

    Contents

    1. Real Vector Space and Related Notions
      By Kazuhisa Nakasho et al.
    2. Splitting Fields
      By Christoph Schwarzweller
    3. Algorithm NextFit for the Bin Packing Problem
      By Hiroshi Fujiwara et al.

    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 3 z 3
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2021Algorithm NextFit for the Bin Packing ProblemFujiwara, Hiroshi; Adachi, Ryota; Yamamoto, Hiroaki--
    2021Splitting FieldsSchwarzweller, Christoph--
    2021Real Vector Space and Related NotionsNakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 3 z 3

    Odkryj