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
14 paginas
registros 1 al 50 de 683
A General Framework for Reasoning On Inconsistency
Autor/Editor:
Martinez, Maria Vanina
Molinaro, Cristian
Subrahmanian, V.S.
Amgoud, Leila
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-6750-2
+ info
A List of Successes That Can Change the World
Autor/Editor:
Lindley, Sam
McBride, Conor
Trinder, Phil
Sannella, Don
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-30936-1
+ info
A New Perspective on Nonmonotonic Logics
Autor/Editor:
Gabbay, Dov M.
Schlechta, Karl
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46817-4
+ info
A Proof Theory for Description Logics
Autor/Editor:
Rademaker, Alexandre
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-4002-3
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Ait Ameur, Yamine
Schewe, Klaus-Dieter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43652-3
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Butler, Michael
Schewe, Klaus-Dieter
Mashkoor, Atif
Biro, Miklos
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-33600-8
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Butler, Michael
Raschke, Alexander
Hoang, Thai Son
Reichl, Klaus
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91271-4
+ info
ABZ 2014: The Landing Gear Case Study
Autor/Editor:
Boniol, Frédéric
Wiels, Virginie
Ait Ameur, Yamine
Schewe, Klaus-Dieter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07512-9
+ info
Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Proceedings, Part II
Autor/Editor:
Smith, Ian F. C.
Domer, Bernd
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91638-5
+ info
Advances in Computational Intelligence
Autor/Editor:
Castro, Félix
Miranda-Jiménez, Sabino
González-Mendoza, Miguel
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02840-4
+ info
Advances in Computational Intelligence. IPMU 2012. Part II
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31715-6
+ info
Advances in Computational Intelligence. IPMU 2012. Part III
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31718-7
+ info
Advances in Computational Intelligence. IPMU 2012. Part IV
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31724-8
+ info
Advances in Conceptual Modeling
Autor/Editor:
Cesare, Sergio de
Frank, Ulrich
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70625-2
+ info
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Autor/Editor:
Eiter, Thomas
Strass, Hannes
Truszczyński, Mirosław
Woltran, Stefan
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-14726-0
+ info
Advances in Natural Language Processing
Autor/Editor:
Isahara, Hitoshi
Kanzaki, Kyoko
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33983-7
+ info
Advances in Natural Language Processing
Autor/Editor:
Przepiórkowski, Adam
Ogrodniczuk, Maciej
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-10888-9
+ info
Advances in Neural Networks. Part I
Autor/Editor:
Wang, Jun
Yen, Gary G.
Polycarpou, Marios M.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31346-2
+ info
Advances in Soft Computing : 16th Mexican International Conference on Artificial Intelligence, Proceedings, Part I
Autor/Editor:
Castro, Félix
Miranda-Jiménez, Sabino
González-Mendoza, Miguel
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-02837-4
+ info
Advances on Computational Intelligence
Autor/Editor:
Greco, Salvatore
Bouchon-Meunier, Bernadette
Coletti, Giulianella
Fedrizzi, Mario
Matarazzo, Benedetto
Yager, Ronald R.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31709-5
+ info
Agents and Artificial Intelligence
Autor/Editor:
Herik, Jaap van den
Filipe, Joaquim
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-53354-4
+ info
Agents and Artificial Intelligence
Autor/Editor:
Herik, Jaap van den
Rocha, Ana Paula
Filipe, Joaquim
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-93581-2
+ info
AI 2015: Advances in Artificial Intelligence
Autor/Editor:
Pfahringer, Bernhard
Renz, Jochen
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-26350-2
+ info
AI Approaches to the Complexity of Legal Systems
Autor/Editor:
Pagallo, Ugo
Palmirani, Monica
Casanovas, Pompeu
Sartor, Giovanni
Villata, Serena
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00178-0
+ info
AI*IA 2013: Advances in Artificial Intelligence
Autor/Editor:
Baldoni, Matteo
Baroglio, Cristina
Boella, Guido
Micalizio, Roberto
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-03524-6
+ info
AI*IA 2015 Advances in Artificial Intelligence
Autor/Editor:
Gavanelli, Marco
Lamma, Evelina
Riguzzi, Fabrizio
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24309-2
+ info
AI*IA 2016 Advances in Artificial Intelligence
Autor/Editor:
Adorni, Giovanni
Cagnoni, Stefano
Gori, Marco
Maratea, Marco
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49130-1
+ info
AI*IA 2017 Advances in Artificial Intelligence
Autor/Editor:
Esposito, Floriana
Basili, Roberto
Ferilli, Stefano
Lisi, Francesca A.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70169-1
+ info
AI*IA 2018 – Advances in Artificial Intelligence
Autor/Editor:
Ghidini, Chiara
Magnini, Bernardo
Passerini, Andrea
Traverso, Paolo
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-03840-3
+ info
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Autor/Editor:
Barkatou, Moulay
Cluzeau, Thomas
Regensburger, Georg
Rosenkranz, Markus
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54479-8
+ info
Algebraic and Numeric Biology
Autor/Editor:
Horimoto, Katsuhisa
Nakatsui, Masahiko
Popov, Nikolaj
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28067-2
+ info
Algebraic Informatics
Autor/Editor:
Maletti, Andreas
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23021-4
+ info
Algebraic Informatics
Autor/Editor:
Muntean, Traian
Poulakis, Dimitrios
Rolland, Robert
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40663-8
+ info
Algorithmic Aspects of Cloud Computing
Autor/Editor:
Karydis, Ioannis
Sioutas, Spyros
Triantafillou, Peter
Tsoumakos, Dimitrios
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29919-8
+ info
Algorithmic Learning Theory
Autor/Editor:
Bshouty, Nader H.
Stoltz, Gilles
Vayatis, Nicolas
Zeugmann, Thomas
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34106-9
+ info
Algorithmic Learning Theory
Autor/Editor:
Jain, Sanjay
Munos, Rémi
Stephan, Frank
Zeugmann, Thomas
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40935-6
+ info
Algorithms - ESA 2015
Autor/Editor:
Bansal, Nikhil
Finocchi, Irene
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48350-3
+ info
An Introduction to the Technique of Formative Processes in Set Theory
Autor/Editor:
Cantone, Domenico
Ursino, Pietro
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-74778-1
+ info
Application and Theory of Petri Nets and Concurrency
Autor/Editor:
Aalst, Wil van der
Best, Eike
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-57861-3
+ info
Applications of Graph Transformations with Industrial Relevance
Autor/Editor:
Schürr, Andy
Varró, Dániel
Varró, Gergely
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34176-2
+ info
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
de
14 paginas
registros 1 al 50 de 683