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
: Collo, Gilda
Keyword
: Socio- and Econophysics
Autor/Editor
: Datta, Amitava
Autor/Editor
: Culshaw, Martin
Autor/Editor
: Nelson, Lise
Autor/Editor
: Shi, Yaolin
Autor/Editor
: Teije, Annette ten
Keyword
: Statistics for Engineering
Autor/Editor
: Koltsov, Sergei
Autor/Editor
: Moscibroda, Thomas
Autor/Editor
: Allen, Craig R.
Autor/Editor
: Mauerhofer, Volker
Autor/Editor
: Zulehner, Walter
Autor/Editor
: Ruohonen, Mikko
Autor/Editor
: Jansson, Jesper
Autor/Editor
: Middeldorp, Aart
registros 1 al 2 de 2
Automated Deduction - CADE-25
Autor/Editor:
Felty, Amy P.
Middeldorp, Aart
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21401-6
+ info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor:
McMillan, Ken
Middeldorp, Aart
Voronkov, Andrei
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-45221-5
+ info
registros 1 al 2 de 2