Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /

Selección de ponencias presentadas en las Jornadas de Matemáticas Informáticas Inteligentes, evento que se realizó en Coimbra, Portugal, del 7 al 11 de julio de 2014. Los trabajos dan cuenta de los avances en tres líneas de investigación: la integración de la computación simbólica y el razonamiento...

Szczegółowa specyfikacja

Opis bibliograficzny

Korporacja:	Conferences on Intelligent Computer Mathematics ( Coimbra, Portugal)
Kolejni autorzy:	Watt, Stephen M. (edición) (edición)
Format:	Materiały konferencyjne Książka
Język:	angielski
Wydane:	Cham, Suiza : Springer, 2014, c2014
Seria:	(Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence) 8543.
Hasła przedmiotowe:	Algoritmos Computacionales Programación (Matemáticas) Programación (Software) Traducción Automática Complejidad Computacional Codificación - > Teoría Algoritmos Autómatas Matemáticos - > Teoría Lógica Matemática Modelos Matemáticos - > Congresos - > Tema Principal Ingeniería Computacional Matemáticas
Dostęp online:	Ver documento en línea
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!