Pular para o conteúdo
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
    • Монгол
Avançada
  • Recent developments in FDR
  • Citar
  • Enviar por SMS
  • Enviar por e-mail
  • Imprimir
  • Exportar registro
    • Exportar para RefWorks
    • Exportar para EndNoteWeb
    • Exportar para EndNote
  • Link permanente
Recent developments in FDR

Recent developments in FDR

Mostrar outras versões (3)
Detalhes bibliográficos
Principais autores: Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Formato: Conference item
Publicado em: Springer Berlin/Heidelberg 2012
  • Itens
  • Descrição
  • Outras versões (3)
  • Registros relacionados
  • Registro fonte

Registros relacionados

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

Opções de Busca

  • Histórico de buscas
  • Busca Avançada

Encontrar Mais

  • Navegar o acervo
  • Navegar por ordem alfabética
  • Explorar canais
  • Bibliografia Recomendada
  • Novos itens

Precisa de ajuda?

  • Dicas de Busca
  • Serviço de Referência
  • Perguntas Frequentes