Neidio i'r cynnwys
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
    • Монгол
Uwch
  • Recent developments in FDR
  • Dyfynnu hwn
  • Anfonwch hwn fel neges destun
  • E-bostio hwn
  • Argraffu
  • Allforio Cofnod
    • Allforio i RefWorks
    • Allforio i EndNoteWeb
    • Allforio i EndNote
  • Permanent link
Recent developments in FDR

Recent developments in FDR

Show other versions (3)
Manylion Llyfryddiaeth
Prif Awduron: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Fformat: Conference item
Cyhoeddwyd: Springer Berlin/Heidelberg 2012
  • Daliadau
  • Disgrifiad
  • Other Versions (3)
  • Eitemau Tebyg
  • Dangos Staff

Eitemau Tebyg

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

Opsiynau Chwilio

  • Hanes Chwilio
  • Chwiliad Uwch

Canfod Mwy

  • Pori'r Catalog
  • Pori yn ôl y Wyddor
  • Archwiliwch Sianeli
  • Cronfeydd y Cwrs
  • Eitemau Newydd

Angen Help?

  • Awgrymiadau Chwilio
  • Gofynnwch i Lyfrgellydd
  • Cwestiynau Cyffredin