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
: Voronkov, Andrei
registros 1 al 10 de 10
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor:
Davis, Martin
Fehnker, Ansgar
McIver, Annabelle
Voronkov, Andrei
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48899-7
+ info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor:
Bjørner, Nikolaj
Voronkov, Andrei
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28717-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
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor:
Carbonell, Jaime G.
Siekmann, Jörg
Cervesato, Iliano
Veith, Helmut
Voronkov, Andrei
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-89439-1
+ info
Perspectives of System Informatics
Autor/Editor:
Voronkov, Andrei
Virbitskaite, Irina
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-46823-4
+ info
Perspectives of System Informatics
Autor/Editor:
Mazzara, Manuel
Voronkov, Andrei
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41579-6
+ info
Perspectives of System Informatics
Autor/Editor:
Petrenko, Alexander K.
Voronkov, Andrei
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-74313-4
+ info
Perspectives of Systems Informatics
Autor/Editor:
Clarke, Edmund
Virbitskaite, Irina
Voronkov, Andrei
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29709-0
+ info
Programming Logics
Autor/Editor:
Voronkov, Andrei
Weidenbach, Christoph
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37651-1
+ info
Rewriting Techniques and Applications
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
Voronkov, Andrei
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-70590-1
+ info
registros 1 al 10 de 10