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
Automated Reasoning
Autor/Editor: Carbonell, Jaime G.  Siekmann, Jörg  Armando, Alessandro  Baumgartner, Peter  Dowek, Gilles
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-71070-7
    + info
Rewriting and Typed Lambda Calculi
Autor/Editor: Dowek, Gilles
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08918-8
    + info
  registros 1 al 2 de 2