Saltar al contenido
VuFind
  • Su cuenta
  • Salir
  • Entrar
  • Tema
    • bootprint3
    • bootstrap3
    • sandal
  • Lenguaje
    • 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
    • हिंदी
    • Հայերէն
    • Українська
Avanzado
Restablecer filtros
Materias: Boarding schools
Restablecer filtros
Mostrar filtros (1)
Materias: Boarding schools
  • Buscar
  • SAT 2005 :
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Agregar a favoritos
  • Enlace Permanente
SAT 2005  : satisfiability research in the Year 2005 /

SAT 2005 : satisfiability research in the Year 2005 /

Guardado en:
Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Walsh, Toby, Giunchiglia, Enrico
Formato: eBook
Lenguaje:English
Materias:
Artificial intelligence
Information theory
Acceso en línea:Click here to view the full text content
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Existencias
  • Descripción
  • Comentarios
  • Ejemplares similares
  • Vista Equipo
Descripción
Descripción Física:1 online resource (293 pages) digital.
ISBN:9781402055713
9781402045523

Ejemplares similares

  • Theory and applications of satisfiability testing - SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Publicado: (2014)
  • Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
    Publicado: (2013)
  • Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
    Publicado: (2012)
  • KI 2005: advances in artificial intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings /
  • Guided self-organization : inception /
    Publicado: (2014)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes