Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 443

Total Visits Per Month

June 2016 July 2016 August 2016 September 2016 October 2016 November 2016 December 2016
Validating reasoning heuristics using next generation theorem provers 42 20 36 44 30 8 1

File Visits

Views
dissertation_steyn_p.pdf 295
dissertation_steyn_p.pdf.txt 14
dissertation_steyn_p.pdf.txt 4

Top country views

Views
United States 231
China 45
Russia 35
United Kingdom 34
South Africa 24
Japan 23
South Korea 12
Germany 8
Italy 8
France 7

Top cities views

Views
Sunnyvale 153
Beijing 31
San Gabriel 22
Tianjin 14
Kingsport 12
Seattle 12
Seoul 11
Tokyo 11
Norwalk 9
Stellenbosch 9

Search UnisaIR


Browse

My Account

Statistics