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

Publicaciones en la fuente ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION

Tipo Año Título Fuente
Artículo2001Formalizing rewriting in the ACL2 theorem proverARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION