- -

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 1107

Visitas al mes

marzo 2024 abril 2024 mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024
Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática 1 18 11 10 10 9 7

Visitas al fichero

Visualizaciones
tesisUPV678.pdf 2392
tesisUPV678_Indice.pdf 385
tesisUPV678.pdf.jpg 380
tesisUPV678_EnglishAbstract.txt 183
tesisUPV678_ResumenCastellano.txt 164
tesisUPV678_ResumenValenciano.txt 128
tesisUPV678.pdf.txt 125
tesisUPV678_Indice.pdf.txt 49
tesisUPV678_ResumenCastellano.txt.txt 24
tesisUPV678_ResumenValenciano.txt.txt 23

Países con más visualizaciones

Visualizaciones
Estados Unidos 547
China 149
España 82
Alemania 48
Rusia 47
Francia 42
México 35
Suecia 27
Irlanda 17
Japón 14

Ciudades con más visualizaciones

Visualizaciones
Ashburn 132
Beijing 117
Mountain View 69
Redmond 54
Beverly Hills 27
Sunnyvale 12
Valencia 12
Rioja 11
Boardman 10
Louisville 10