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

Formal ontology and mathematics. a case study on the identity of proofs

Bianchetti, Matteo; Venturi, Giorgio

Tipo: Artículo
Año de Publicación: 2023
Volumen: 42
Número: 1
Páginas: 307 - 321
Fuente Nº Citas Fecha Actualización
scopus018-05-2024
Dimensions
PlumX
Altmetric

Año: 2022

Journal Citation Indicator (JCI): 2,570

CategoríaPosiciónCuartilTercilDecilPercentil
PHILOSOPHY8/328Q1T1D197,71

Año:

2022

CiteScore:

2,800

CategoríaPosiciónCuartilTercilDecil
Philosophy50/762Q1T1D1

SJR año:

2023

Factor de Impacto:

0,646

CategoríaPosiciónCuartilTercilDecil
Philosophy63/776Q1T1D1
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Bianchetti, MatteoSin datos ()
2Venturi, GiorgioUniversidade Estadual de Campinas; Universität Konstanz (Germany)