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:
Keyword
: Mathematical Logic and Formal Languages
de
35 paginas
registros 41 al 60 de 683
Applied Logic for Computer Scientists
Autor/Editor:
Ayala-Rincón, Mauricio
Moura, Flávio L. C. de
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-51653-0
+ info
Argumentation in Multi-Agent Systems
Autor/Editor:
McBurney, Peter
Parsons, Simon
Rahwan, Iyad
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33152-7
+ info
Artificial General Intelligence
Autor/Editor:
Bieger, Jordi
Goertzel, Ben
Potapov, Alexey
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21365-1
+ info
Artificial General Intelligence
Autor/Editor:
Bach, Joscha
Goertzel, Ben
Iklé, Matthew
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-35506-6
+ info
Artificial General Intelligence
Autor/Editor:
Kühnberger, Kai-Uwe
Rudolph, Sebastian
Wang, Pei
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39521-5
+ info
Artificial General Intelligence
Autor/Editor:
Goertzel, Ben
Orseau, Laurent
Snaider, Javier
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09274-4
+ info
Artificial General Intelligence
Autor/Editor:
Everitt, Tom
Goertzel, Ben
Potapov, Alexey
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63703-7
+ info
Artificial Intelligence : 16th Russian Conference, Proceedings
Autor/Editor:
Kuznetsov, Sergei O.
Osipov, Gennady S.
Stefanuk, Vadim L.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00617-4
+ info
Artificial Intelligence and Symbolic Computation
Autor/Editor:
Aranda-Corral, Gonzalo A.
Calmet, Jacques
Martín-Mateos, Francisco J.
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-13770-4
+ info
Artificial Intelligence and Symbolic Computation
Autor/Editor:
Fleuriot, Jacques
Wang, Dongming
Calmet, Jacques
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99957-9
+ info
Artificial Intelligence in Medicine
Autor/Editor:
Teije, Annette ten
Popow, Christian
Holmes, John H.
Sacchi, Lucia
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59758-4
+ info
Artificial Life and Evolutionary Computation
Autor/Editor:
Pelillo, Marcello
Poli, Irene
Roli, Andrea
Serra, Roberto
Slanzi, Debora
Villani, Marco
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-78658-2
+ info
Automated Deduction – CADE 26
Autor/Editor:
Moura, Leonardo de
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63046-5
+ info
Automated Deduction – CADE-24
Autor/Editor:
Bonacina, Maria Paola
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38574-2
+ info
Automated Deduction in Geometry
Autor/Editor:
Botana, Francisco
Quaresma, Pedro
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21362-0
+ info
Automated Deduction in Geometry
Autor/Editor:
Ida, Tetsuo
Fleuriot, Jacques
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40672-0
+ info
Automated Reasoning
Autor/Editor:
Gramlich, Bernhard
Miller, Dale
Sattler, Uli
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31365-3
+ info
Automated Reasoning
Autor/Editor:
Demri, Stéphane
Kapur, Deepak
Weidenbach, Christoph
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08587-6
+ info
Automated Reasoning
Autor/Editor:
Olivetti, Nicola
Tiwari, Ashish
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40229-1
+ info
Automated Reasoning
Autor/Editor:
Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94205-6
+ info
de
35 paginas
registros 41 al 60 de 683