Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  de 35 paginas [Siguiente]      registros 1 al 20 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
  de 35 paginas [Siguiente]      registros 1 al 20 de 683