Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 829

Total Visits Per Month

March 2016 April 2016 May 2016 June 2016 July 2016 August 2016 September 2016
Validating reasoning heuristics using next generation theorem provers 3 3 5 1 1 4 13

File Visits

Views
dissertation_steyn_p.pdf 732
dissertation_steyn_p.pdf.txt 17

Top country views

Views
China 34
South Africa 26
France 20
South Korea 13
Russia 13
United States 10
Japan 9
Ukraine 8
Ghana 7
Germany 5

Top cities views

Views
Beijing 22
Seoul 12
Tokyo 9
Pretoria 8
Tianjin 7
Shenzhen 5
Accra 4
Braunschweig 4
Johannesburg 4
Saint Petersburg 2

Search UnisaIR


Browse

My Account

Statistics