Imaxe de Portada
Código QR

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 19-22, 2014 : Proceedings /

Gardado en:
Autor Corporativo: International Joint Conference on Automated Reasoning ( Viena, Austria)
Outros autores: Demri, Stéphane (edición) (edición), Kapur, Deepak (edición) (edición), Weidenbach, Christoph (edición) (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:inglés
Publicado: Cham, Suiza : Springer, 2014, c2014
Series:(Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence) 8562.
Temas:
Lenguajes de Programación
Algoritmos Computacionales
Programación (Matemáticas)
Programación (Software)
Robótica
Algoritmos
Aprendizaje Automático (Inteligencia Artificial) - > Tema Principal
Inteligencia Artificial - > Congresos - > Tema Principal
Ingeniería de Software
Desarrollo de Sistemas
Ingeniería Computacional
Acceso en liña:Ver documento en línea
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descrición Física:1 libro electrónico en línea (XXVIII, 528 p.)
1 recurso en línea
ISBN:978-3-319-08587-6
Acceso:Licencias ilimitadas

Títulos similares