Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 812

Total Visits Per Month

January 2016 February 2016 March 2016 April 2016 May 2016 June 2016 July 2016
Validating reasoning heuristics using next generation theorem provers 2 0 3 3 5 1 1

File Visits

Views
dissertation_steyn_p.pdf 730
dissertation_steyn_p.pdf.txt 17

Top country views

Views
China 24
South Africa 22
France 20
South Korea 13
Russia 13
Japan 9
Ukraine 8
United States 8
Ghana 7
Germany 5

Top cities views

Views
Beijing 19
Seoul 12
Tokyo 9
Pretoria 7
Shenzhen 5
Accra 4
Braunschweig 4
Johannesburg 3
Saint Petersburg 2
Seattle 2

Search UnisaIR


Browse

My Account

Statistics