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
scopus029-10-2024
Dimensions
PlumX
Altmetric

Año: 2023

Journal Citation Indicator (JCI): 2,390

CategoríaPosiciónCuartilTercilDecilPercentil
PHILOSOPHY12/331Q1T1D196,53

Año:

2023

CiteScore:

3,100

CategoríaPosiciónCuartilTercilDecil
Philosophy53/806Q1T1D1

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, Giorgio Universidade Estadual de Campinas; Universität Konstanz (Germany)