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
Artificial Intelligence and Symbolic Computation
Autor/Editor: Fleuriot, Jacques  Wang, Dongming  Calmet, Jacques
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99957-9
    + info
Automated Deduction in Geometry
Autor/Editor: Ida, Tetsuo  Fleuriot, Jacques
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40672-0
    + info
  registros 1 al 2 de 2