Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 2 de 2
Concrete Semantics
Autor/Editor: Nipkow, Tobias  Klein, Gerwin
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10542-0
    + info
Interactive Theorem Proving
Autor/Editor: Klein, Gerwin  Gamboa, Ruben
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08970-6
    + info
  registros 1 al 2 de 2