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

Verified computer algebra in ACL2 (Grobner bases computation)

Medina-Bulo, I ; Palomo-Lozano, F; Alonso-Jimenez, JA; Ruiz-Reina, JL

Tipo: Artículo
Año de Publicación: 2004
Volumen: 3249
Páginas: 171 - 184
Fuente Nº Citas Fecha Actualización
wos223-03-2024

Año:

2011

CiteScore:

1,300

CategoríaPosiciónCuartilTercilDecil
General Computer Science79/176Q2T2D5
Theoretical Computer Science85/115Q3T3D8

SJR año:

2004

Factor de Impacto:

0,347

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)37/87Q2T2D5
Theoretical Computer Science55/84Q3T2D7
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor
1Medina-Bulo, I 
2Palomo-Lozano, F
3Alonso-Jimenez, JA
4Ruiz-Reina, JL