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

Proving and computing: applying automated reasoning to the verification of symbolic computation systems (invited talk)

Ruiz-Reina, José Luis

No hay citas para esta publicación
Dimensions
PlumX
Altmetric

Año:

2014

CiteScore:

1,500

CategoríaPosiciónCuartilTercilDecil
General Computer Science87/200Q2T2D5
Theoretical Computer Science82/118Q3T3D7

SJR año:

2014

Factor de Impacto:

0,354

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)85/252Q2T2D4
Theoretical Computer Science78/113Q3T3D7
No existen datos para la revista de esta publicación.

Año SPI:

2014

EditorialÁmbitoCategoríaPuntuaciónCuartilPosición
SpringerInternacionalGeneral33Q14/27
SpringerInternacionalEconomía8,021Q11/40
SpringerInternacionalEducación3,448Q14/65
SpringerInternacionalPsicología2,816Q16/48
SpringerInternacionalDerecho1,983Q16/65
SpringerInternacionalFilosofía1,896Q13/57
SpringerInternacionalLingüística, Literatura y Filología1,472Q113/119
SpringerInternacionalGeografía1,421Q13/32
SpringerInternacionalHistoria1,357Q110/97
SpringerInternacionalBiblioteconomía y Documentación1,023Q11/22
SpringerInternacionalSociología0,794Q15/34
SpringerInternacionalArqueología y Prehistoria0,714Q17/41
SpringerInternacionalAntropología0,262Q15/21
SpringerInternacionalComunicación0,198Q28/20
SpringerInternacionalEstudios árabes y hebraicos0,155Q211/32
SpringerInternacionalBellas Artes0,153Q22/5
SpringerInternacionalCiencias Políticas0,074Q315/24
EditorialPuntuación
SpringerAlto
No exiten datos para esta publicación