Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 448

Total Visits Per Month

August 2016 September 2016 October 2016 November 2016 December 2016 January 2017 February 2017
Validating reasoning heuristics using next generation theorem provers 36 44 30 8 1 2 3

File Visits

Views
dissertation_steyn_p.pdf 303
dissertation_steyn_p.pdf.txt 14
dissertation_steyn_p.pdf.txt 4

Top country views

Views
United States 232
China 45
United Kingdom 36
Russia 36
Japan 24
South Africa 24
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