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

Verifying an applicative ATP using multiset relations

Martin-Mateos, FJ ; Alonso, JA; Hidalgo, MJ; Ruiz-Reina, JL

Tipo: Artículo
Año de Publicación: 2001
Volumen: 2178
Páginas: 612 - 626
Fuente Nº Citas Fecha Actualización
wos020-04-2024

Año:

2011

CiteScore:

1,300

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

SJR año:

2001

Factor de Impacto:

0,399

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)31/84Q2T2D4
Theoretical Computer Science45/78Q3T2D6
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación