- -

Estadísticas

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Estadísticas

Número total de visitas

Visualizaciones
Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática 1058

Visitas al mes

octubre 2023 noviembre 2023 diciembre 2023 enero 2024 febrero 2024 marzo 2024 abril 2024
Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática 4 1 6 7 2 1 16

Visitas al fichero

Visualizaciones
tesisUPV678.pdf 2267
tesisUPV678.pdf.jpg 380
tesisUPV678_Indice.pdf 369
tesisUPV678_EnglishAbstract.txt 172
tesisUPV678_ResumenCastellano.txt 157
tesisUPV678.pdf.txt 125
tesisUPV678_ResumenValenciano.txt 119
tesisUPV678_Indice.pdf.txt 49
tesisUPV678_ResumenCastellano.txt.txt 24
tesisUPV678_ResumenValenciano.txt.txt 23

Países con más visualizaciones

Visualizaciones
Estados Unidos 516
China 145
España 78
Alemania 48
Rusia 47
Francia 42
México 33
Suecia 27
Irlanda 16
Japón 12

Ciudades con más visualizaciones

Visualizaciones
Ashburn 132
Beijing 114
Mountain View 66
Redmond 54
Beverly Hills 27
Sunnyvale 12
Valencia 12
Rioja 11
Saint Petersburg 10
Boardman 9