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, 2017, Volume 25, Issue 4 : [6]
    Strona glówna kolekcji Zobacz statystyki

    Spis treści/Content

    1. Schwarzweller, Christoph
      Formally Real Fields
    2. Jaeger, Peter
      Introduction to Stopping Time in Stochastic Finance Theory. Part II
    3. Nakasho, Kazuhisa / Futa, Yuichi / Shidama, Yasunari
      Implicit Function Theorem. Part I
    4. Watase, Yasushige
      Introduction to Diophantine Approximation. Part II
    5. Coghetto, Roland / Grabowski, Adam
      Tarski Geometry Axioms. Part III
    6. Pąk, Karol
      The Matiyasevich Theorem. Preliminaries

    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 6 z 6
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2017The Matiyasevich Theorem. PreliminariesPąk, Karol--
    2017Tarski Geometry Axioms. Part IIICoghetto, Roland; Grabowski, Adam--
    2017Implicit Function Theorem. Part INakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari--
    2017Introduction to Diophantine Approximation. Part IIWatase, Yasushige--
    2017Introduction to Stopping Time in Stochastic Finance Theory. Part IIJaeger, Peter--
    2017Formally Real FieldsSchwarzweller, Christoph--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 6 z 6

    Odkryj