Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  de 2 paginas [Siguiente]      registros 1 al 20 de 39
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
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
Belief Revision in Non-Classical Logics
Autor/Editor: Ribeiro, Márcio Moretto
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4186-0
    + info
Computational Artifacts
Autor/Editor: Turner, Raymond
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-55565-1
    + info
Computational Complexity of Solving Equation Systems
Autor/Editor: Broniek, Przemysław
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21750-5
    + info
Correct System Design
Autor/Editor: Meyer, Roland  Platzer, André  Wehrheim, Heike
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23506-6
    + info
Finitely Supported Mathematics
Autor/Editor: Alexandru, Andrei  Ciobanu, Gabriel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42282-4
    + info
Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
Autor/Editor: Schlechta, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89653-3
    + info
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Autor/Editor: Schlechta, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89650-2
    + info
Foundations of Algebraic Specification and Formal Software Development
Autor/Editor: Sannella, Donald  Tarlecki, Andrzej
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-17336-3
    + info
From Linear Operators to Computational Biology
Autor/Editor: Davis, Martin  Schonberg, Edmond
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4282-9
    + info
Handbook of Model Checking
Autor/Editor: Clarke, Edmund M.  Henzinger, Thomas A.  Veith, Helmut  Bloem, Roderick
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-10575-8
    + info
How the World Computes
Autor/Editor: Cooper, S. Barry  Dawar, Anuj  Löwe, Benedikt
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30870-3
    + info
Introduction to Concurrency Theory
Autor/Editor: Gorrieri, Roberto  Versari, Cristian
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21491-7
    + info
Lectures on Logic and Computation
Autor/Editor: Bezhanishvili, Nick  Goranko, Valentin
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31485-8
    + info
Logic, Rationality, and Interaction
Autor/Editor: Hoek, Wiebe van der  Holliday, Wesley H.  Wang, Wen-Fang
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48561-3
    + info
Logic, Rationality, and Interaction
Autor/Editor: Grossi, Davide  Roy, Olivier  Huang, Huaxin
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40948-6
    + info
Logic, Rationality, and Interaction
Autor/Editor: Baltag, Alexandru  Seligman, Jeremy  Yamada, Tomoyuki
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-55665-8
    + info
Logical Foundations of Computer Science
Autor/Editor: Artemov, Sergei  Nerode, Anil
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35722-0
    + info
Logical Foundations of Cyber-Physical Systems
Autor/Editor: Platzer, André
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-63588-0
    + info
  de 2 paginas [Siguiente]      registros 1 al 20 de 39