Buscar
Avanzada
Historial
Buscar Por:
Título
Autor/Editor
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Colección
Busquedas:
Autor/Editor
: Criado Pacheco, Natalia
Autor/Editor
: Walsh, Maud
Autor/Editor
: Parent, Xavier
Autor/Editor
: Tian, Feng
Autor/Editor
: Wegner, Anna
Autor/Editor
: Bauer, Andreas
Autor/Editor
: Lowe, Timothy J.
Autor/Editor
: Lenzen, Manfred
Autor/Editor
: Wang, Dan
Autor/Editor
: Idani, Akram
Autor/Editor
: Hughes, David
Autor/Editor
: Davis, Joseph G.
1/1
Intelligent Computer Mathematics
Autor/Editor:
Carette, Jacques
-
Aspinall, David
-
Lange, Christoph
-
Sojka, Petr
-
Windsteiger, Wolfgang
Año de edición:
2013
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-642-39320-4
Idioma:
inglés
Colección:
Computación
Keywords:
Symbolic and Algebraic Manipulation
-
Artificial Intelligence (incl. Robotics)
-
Math Applications in Computer Science
-
Mathematical Logic and Formal Languages
-
Document Preparation and Text Processing
-
Information Storage and Retrieval
Título de la Serie:
Lecture Notes in Computer Science
Tipo de documento:
Reunión
Editor:
Springer Berlin Heidelberg
ISBN-e:
978-3-642-39320-4
ISSN-e:
1611-3349