- -

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 812

Total Visits Per Month

March 2019 April 2019 May 2019 June 2019 July 2019 August 2019 September 2019
Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática 10 12 17 19 15 8 7

File Visits

Views
tesisUPV678.pdf 1083
tesisUPV678.pdf.jpg 380
tesisUPV678_Indice.pdf 340
tesisUPV678_EnglishAbstract.txt 165
tesisUPV678_ResumenCastellano.txt 152
tesisUPV678.pdf.txt 125
tesisUPV678_ResumenValenciano.txt 115
tesisUPV678_Indice.pdf.txt 49
tesisUPV678_ResumenCastellano.txt.txt 24
tesisUPV678_ResumenValenciano.txt.txt 23

Top country views

Views
United States 407
China 131
Spain 51
Russia 46
France 37
Germany 31
Mexico 26
Japan 12
Sweden 12
Canada 6

Top cities views

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