- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

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

Total Visits Per Month

December 2018 January 2019 February 2019 March 2019 April 2019 May 2019 June 2019
Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática 5 26 9 10 12 17 16

File Visits

Views
tesisUPV678.pdf 1049
tesisUPV678.pdf.jpg 380
tesisUPV678_Indice.pdf 338
tesisUPV678_EnglishAbstract.txt 164
tesisUPV678_ResumenCastellano.txt 151
tesisUPV678.pdf.txt 125
tesisUPV678_ResumenValenciano.txt 114
tesisUPV678_Indice.pdf.txt 49
tesisUPV678_ResumenCastellano.txt.txt 24
tesisUPV678_ResumenValenciano.txt.txt 23

Top country views

Views
United States 390
China 125
Spain 49
Russia 46
France 34
Germany 31
Mexico 25
Japan 12
Sweden 12
Canada 6

Top cities views

Views
Beijing 110
Ashburn 83
Mountain View 61
Redmond 54
Beverly Hills 27
Sunnyvale 12
Rioja 11
Valencia 11
Saint Petersburg 10
Boardman 9