Buscar
Avanzada
Historial
Registros por pagina:
20
50
100
Buscar Por:
Título
Autor/Editor
Colección
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
Registros por pagina:
20
50
100
Busquedas:
Autor/Editor
: Chadee, Derek
Keyword
: R
Autor/Editor
: Ortiz-Arroyo, Daniel
Autor/Editor
: Sanchez-Anguix, Victor
Keyword
: Biological Techniques
Autor/Editor
: Lopes, Fernando
Autor/Editor
: Roy Chowdhury, Dipanwita
Autor/Editor
: Caborn, Anne
Autor/Editor
: González Mendoza, Miguel
Autor/Editor
: Curran, David
Autor/Editor
: Reis, Ricardo
Autor/Editor
: Atienza Alonso, David
Autor/Editor
: Fleuriot, Jacques
registros 1 al 2 de 2
Artificial Intelligence and Symbolic Computation
Autor/Editor:
Fleuriot, Jacques
Wang, Dongming
Calmet, Jacques
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99957-9
+ info
Automated Deduction in Geometry
Autor/Editor:
Ida, Tetsuo
Fleuriot, Jacques
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40672-0
+ info
registros 1 al 2 de 2