Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings

Detalles Bibliográficos
Autores principales: Demri, Stéphane, Kapur, Deepak, Weidenbach, Christoph
Lenguaje:eng
Publicado: Springer International Publishing AG 2014
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761360

Ejemplares similares

Ejemplares similares