Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014 Proceedings /

Selección de las ponencias de la 12a Conferencia Internacional sobre Inteligencia Artificial y Computación Simbólica, celebrada en Sevilla, España, en diciembre de 2014. Artículos incluídos: Probando y computando: aplicando el razonamiento automatizado a la verificación de sistemas de cómputo simból...

Celý popis

Podrobná bibliografie

Korporativní autor:	International Conference on Artificial Intelligence and Symbolic Computation ( Sevilla, España)
Další autoři:	Aranda-Corral, Gonzalo A. (edición) (edición), Calmet, Jacques (edición) (edición), Martín-Mateos, Francisco J. (edición) (edición)
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Cham, Suiza : Springer, 2014, c2014
Edice:	(Lecture Notes in Artificial Intelligence ; 8884)
Témata:	Máquinas de Turing Autómatas Matemáticos - > Teoría Dinámica Simbólica Topología Algebraica Algebra Booleana Inteligencia Artificial - > Congresos - > Tema Principal Inteligencia Artificial - > Tema Principal Sistemas Computacionales Ingeniería Electrónica Ingeniería Computacional Algebra Matemáticas
On-line přístup:	Ver documento en línea
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!