- -

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 1124

Visitas al mes

mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024 octubre 2024 noviembre 2024
Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática 11 10 10 9 12 7 5

Visitas al fichero

Visualizaciones
tesisUPV678.pdf 2436
tesisUPV678_Indice.pdf 385
tesisUPV678.pdf.jpg 380
tesisUPV678_EnglishAbstract.txt 188
tesisUPV678_ResumenCastellano.txt 169
tesisUPV678_ResumenValenciano.txt 130
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 556
China 150
España 83
Alemania 48
Rusia 47
Francia 42
México 35
Suecia 27
Irlanda 20
Japón 14

Ciudades con más visualizaciones

Visualizaciones
Ashburn 132
Beijing 118
Mountain View 69
Redmond 54
Beverly Hills 27
Louisville 14
Southport 14
Sunnyvale 12
Valencia 12
Rioja 11