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...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন

সংস্থা লেখক:	International Conference on Artificial Intelligence and Symbolic Computation ( Sevilla, España)
অন্যান্য লেখক:	Aranda-Corral, Gonzalo A. (edición) (edición), Calmet, Jacques (edición) (edición), Martín-Mateos, Francisco J. (edición) (edición)
বিন্যাস:	কনফারেন্স প্রসিডিং গ্রন্থ
ভাষা:	ইংরেজি
প্রকাশিত:	Cham, Suiza : Springer, 2014, c2014
মালা:	(Lecture Notes in Artificial Intelligence ; 8884)
বিষয়গুলি:	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
অনলাইন ব্যবহার করুন:	Ver documento en línea
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!