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
: Dancy, Christopher
Autor/Editor
: Valiente, Carlos
Autor/Editor
: Schwarzbauer, Jan
Autor/Editor
: Larriba-Pey, Josep Lluís
Autor/Editor
: Arkun, Erol
Autor/Editor
: Shinya, Mikio
Autor/Editor
: Toro LoÌpez, Francisco J.
Autor/Editor
: Susen, Simon
Autor/Editor
: Scholtes, Ingo
Autor/Editor
: Acha, Eduardo Marcelo
Autor/Editor
: Horne, Ralph
Autor/Editor
: O'Donoghue, John
Autor/Editor
: Tyrrell, Andy M.
Autor/Editor
: Robert, Yves
Autor/Editor
: Gurney, Kim
Autor/Editor
: Denle, Dursun
Autor/Editor
: Murphy, Brian
Autor/Editor
: Yang, Gongping
Autor/Editor
: Olson, David L.
Autor/Editor
: Hansen, Marit
Autor/Editor
: Ilcinkas, David
Autor/Editor
: Sneppen, Claus
Autor/Editor
: Bocco, Gerardo
Autor/Editor
: Raynal, Michel
Autor/Editor
: Caminal, Glòria
Autor/Editor
: Lorenzino, Gerardo
Autor/Editor
: Zidjaly, Najma
Autor/Editor
: Chan, Heng Choon
Autor/Editor
: Ludwig, Thomas
Autor/Editor
: Sinz, Carsten
registros 1 al 1 de 1
Theory and Applications of Satisfiability Testing – SAT 2014
Autor/Editor:
Sinz, Carsten
Egly, Uwe
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09284-3
+ info
registros 1 al 1 de 1