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 Deduction – CADE 26
Autor/Editor: Moura, Leonardo de
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63046-5
    + info
Intelligent Computer Mathematics
Autor/Editor: Kohlhase, Michael  Johansson, Moa  Miller, Bruce  Moura, Leonardo de  Tompa, Frank
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42547-4
    + info
  registros 1 al 2 de 2