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

    Contents

    1. Functional Sequence in Norm Space
      Hiroshi Yamazaki
    2. General Theory and Tools for Proving Algorithms in Nominative Data Systems
      Adrian Jaszczak
    3. Partial Correctness of an Algorithm Computing Lucas Sequences
      Adrian Jaszczak

    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)
    2020Partial Correctness of an Algorithm Computing Lucas SequencesJaszczak, Adrian--
    2020General Theory and Tools for Proving Algorithms in Nominative Data SystemsJaszczak, Adrian--
    2020Functional Sequence in Norm SpaceYamazaki, Hiroshi--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 3 z 3

    Odkryj