- -

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 1116

Visitas al mes

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

Visitas al fichero

Visualizaciones
tesisUPV678.pdf 2404
tesisUPV678_Indice.pdf 385
tesisUPV678.pdf.jpg 380
tesisUPV678_EnglishAbstract.txt 186
tesisUPV678_ResumenCastellano.txt 167
tesisUPV678_ResumenValenciano.txt 129
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 552
China 150
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 118
Mountain View 69
Redmond 54
Beverly Hills 27
Southport 13
Louisville 12
Sunnyvale 12
Valencia 12
Rioja 11