Sirdás sisdollui
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Aiddostahtton
  • Recent developments in FDR
  • Čujuhandieđut
  • Deakstadieđáhus
  • Sádde šleađgaboasttain
  • Čálit
  • Doalvvo čujuhusa
    • Doalvun: RefWorks
    • Doalvun: EndNoteWeb
    • Doalvun: EndNote
  • Bissovaš liŋka
Recent developments in FDR

Recent developments in FDR

Čájet eará veršuvnnaid (3)
Bibliográfalaš dieđut
Váldodahkkit: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Materiálatiipa: Conference item
Almmustuhtton: Springer Berlin/Heidelberg 2012
  • Oažžasuvvandieđut
  • Govvádus
  • Eará veršuvnnat (3)
  • Geahča maid
  • Bargiidšearbma

Geahča maid

  • Recent developments in FDR
    Dahkki: Armstrong, P, et al.
    Almmustuhtton: (2012)
  • Recent developments in FDR
    Dahkki: Armstrong, P, et al.
    Almmustuhtton: (2012)
  • Recent Developments in FDR
    Dahkki: Armstrong, P, et al.
    Almmustuhtton: (2012)
  • Faster FDR Counterexample Generation Using SAT−Solving
    Dahkki: Palikareva, H, et al.
    Almmustuhtton: (2009)
  • FDR2 user manual
    Dahkki: Gardiner, P, et al.
    Almmustuhtton: (2000)

Ozu molssaeavttut

  • Ohcanhistorjá
  • Aiddostahtton ohcu

Viečča lasi

  • Bláđe logahallama
  • Bláđe alfabehtalaš ortnegis
  • Dutkka kanálaid
  • Gursagirjjit
  • Ođatlogahallan

Dárbbašatgo veahki?

  • Ohcanráva
  • Jeara girjerájus
  • DJG:t