Cargando…

Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings

Detalles Bibliográficos
Autores principales: Felty, Amy P, Middeldorp, Aart
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757530