Անցեք բովանդակությանը
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
    • Монгол
Ընդլայնված
  • Recent developments in FDR
  • Վկայակոչեք սա
  • Գրեք սա
  • Էլփոստով ուղարկեք սա
  • Տպել
  • Արտահանել գրառումը
    • Արտահանել դեպի RefWorks
    • Արտահանել դեպի EndNoteWeb
    • Արտահանել դեպի EndNote
  • Մշտական հղում
Recent developments in FDR

Recent developments in FDR

Ցույց տալ այլ տարբերակներ (3)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Ձևաչափ: Conference item
Հրապարակվել է: Springer Berlin/Heidelberg 2012
  • Պահումներ
  • Նկարագրություն
  • Այլ տարբերակներ (3)
  • Նմանատիպ նյութեր
  • Աշխատակազմի տեսք

Նմանատիպ նյութեր

  • Recent developments in FDR
    ‌: Armstrong, P, և այլն
    Հրապարակվել է: (2012)
  • Recent developments in FDR
    ‌: Armstrong, P, և այլն
    Հրապարակվել է: (2012)
  • Recent Developments in FDR
    ‌: Armstrong, P, և այլն
    Հրապարակվել է: (2012)
  • Faster FDR Counterexample Generation Using SAT−Solving
    ‌: Palikareva, H, և այլն
    Հրապարակվել է: (2009)
  • FDR2 user manual
    ‌: Gardiner, P, և այլն
    Հրապարակվել է: (2000)

Որոնման ընտրանքներ

  • Որոնման պատմություն
  • Ընդլայնված որոնում

Գտեք ավելին

  • Թերթիր քարտարանը
  • Թերթիր այբբենական կարգով
  • Ուսումնասիրեք ալիքները
  • Դասընթացի պահուստներ
  • Նոր նյութեր

Օգնության կարիք ունե՞ք։

  • Որոնման հնարքներ
  • Հարցրեք գրադարանավարին
  • FAQs