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-25
Autor/Editor: Felty, Amy P.  Middeldorp, Aart
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21401-6
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: McMillan, Ken  Middeldorp, Aart  Voronkov, Andrei
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45221-5
    + info
  registros 1 al 2 de 2