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
: Spaich, Erika G.
Autor/Editor
: Borisov, Nikita
Autor/Editor
: Zhang, Hua
Autor/Editor
: Sonnenschein, L.
Autor/Editor
: Amgoud, Leila
Autor/Editor
: Penn, Chad J.
Autor/Editor
: Barry, Dana M.
Autor/Editor
: Mylroie, John E.
Autor/Editor
: Kok, Joost N.
Autor/Editor
: Valdiya, K. S.
Autor/Editor
: Shore, Richard F.
Autor/Editor
: Sherman, Francine T.
Autor/Editor
: Takahiro, Hara
Autor/Editor
: Hoshino, Kazumasa
Autor/Editor
: Hawkins, John N.
Autor/Editor
: Luan, Tom H.
Autor/Editor
: Jordan, Carl F.
Autor/Editor
: Croft, Darin A.
Autor/Editor
: Hansjürgens, Bernd
Autor/Editor
: Wang, Lingyu
Autor/Editor
: Bonatti, Piero A.
Autor/Editor
: Kiss, Attila
Autor/Editor
: Azevedo Santos, Jorge M.
Autor/Editor
: Petit, Salvador
Autor/Editor
: Purnama, Anton
Autor/Editor
: Hibino, Nironori
Autor/Editor
: Salem, Abdel-Badeeh M.
Autor/Editor
: Schroeder, Katja
Autor/Editor
: Hillebrandt, W.
Autor/Editor
: Ait Mohamed, Otmane
registros 1 al 1 de 1
Theorem Proving in Higher Order Logics
Autor/Editor:
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Ait Mohamed, Otmane
Muñoz, César
Tahar, Sofiène
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-71067-7
+ info
registros 1 al 1 de 1