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
: Garay, Juan A.
Autor/Editor
: Ubul, Kurban
Autor/Editor
: Louhichi, Borhen
Autor/Editor
: Navarro MartÃnez, Elena MarÃa
Autor/Editor
: Sycara, Katia
Autor/Editor
: Vishnevsky, Vladimir M.
Autor/Editor
: Stickel, Mark E.
Autor/Editor
: Zhu, Sencun
Autor/Editor
: Zhang, Shiyong
Autor/Editor
: Rao, Karuturi P.C.
Autor/Editor
: Aufaure, Marie-Aude
Autor/Editor
: Decker, Keith S.
Autor/Editor
: Gatzweiler, Franz W.
Autor/Editor
: Steyn, Douw G.
Autor/Editor
: Smith, Gavin P.
Autor/Editor
: Wilson, Michael A.
Autor/Editor
: Wolford, Wendy
Autor/Editor
: Schaltegger, Stefan
Autor/Editor
: Soares da Silva, Emiliana L. D. G.
Autor/Editor
: Artemov, Sergei
registros 1 al 3 de 3
Logical Foundations of Computer Science
Autor/Editor:
Artemov, Sergei
Nerode, Anil
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35722-0
+ info
Logical Foundations of Computer Science
Autor/Editor:
Artemov, Sergei
Nerode, Anil
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-27683-0
+ info
Logical Foundations of Computer Science
Autor/Editor:
Artemov, Sergei
Nerode, Anil
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-72056-2
+ info
registros 1 al 3 de 3