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

Publicaciones en la fuente LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS

Tipo Año Título Fuente
Artículo2003A formal proof of Dickson's Lemma in ACL2LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS