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

Publicaciones en la fuente ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS

Tipo Año Título Fuente
Artículo2004Verified computer algebra in ACL2 (Grobner bases computation)ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS