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
: Leibe, Bastian
Autor/Editor
: Cipolla-Ficarra, Francisco
Autor/Editor
: Chang, Hang Bae
Autor/Editor
: Sokolinsky, Leonid
Autor/Editor
: Anutariya, Chutiporn
Autor/Editor
: Hole, Kjell Jørgen
Autor/Editor
: Zeugmann, Thomas
Keyword
: Latin America
Autor/Editor
: Cortier, Véronique
Autor/Editor
: Wu, Fei
Autor/Editor
: He, Qi-Ming
Autor/Editor
: Suparta, Wayan
Autor/Editor
: Al-Amin, Abul Quasem
Autor/Editor
: Pariatamby, Agamuthu
Autor/Editor
: Su, Zhenpeng
Autor/Editor
: Zarate, Pascale
Autor/Editor
: Chan, Chien-Chung
Autor/Editor
: Weber, Richard
Autor/Editor
: Finger, Marcelo
Autor/Editor
: Renaud, Christophe
Autor/Editor
: Roth, Gerhard
Autor/Editor
: Röning, Juha
Autor/Editor
: Xiao, Jing Jian
Autor/Editor
: Voogt, W.P. de
Autor/Editor
: Wang, Yahua
Autor/Editor
: NyklÃÄek, Ivan
Autor/Editor
: Chen, Mei
Autor/Editor
: Ludäscher, Bertram
Autor/Editor
: Brambilla, Marco
Autor/Editor
: Beyersdorff, Olaf
registros 1 al 1 de 1
Theory and Applications of Satisfiability Testing – SAT 2018
Autor/Editor:
Beyersdorff, Olaf
Wintersteiger, Christoph M.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94144-8
+ info
registros 1 al 1 de 1