Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Tipo Año Título Fuente
Capítulo2014Proving and computing: applying automated reasoning to the verification of symbolic computation systems (invited talk)Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings