Ver Financiación - Prisma - Unidad de Bibliometría

Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica

Referencia: MTM2009-13842-C02-02

Tipo: Proyecto de investigación
Programa financiador: Plan Nacional del 2009
Entidad financiadora: Ministerio de Ciencia e Innovación
Ámbito: Nacional
Convocatoria competitiva:
Fecha de inicio: 01/01/2010
Fecha de fin: 31/12/2010
Participantes en la financiación
Publicaciones relacionadas
Tipo Año Título Fuente
Artículo 2011 Proof Pearl: a Formal Proof of Higman's Lemma in ACL2 JOURNAL OF AUTOMATED REASONING
Nota: la fuente de financiación de las publicaciones se ha obtenido de WOS