Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 766

Total Visits Per Month

January 2015 February 2015 March 2015 April 2015 May 2015 June 2015 July 2015
Validating reasoning heuristics using next generation theorem provers 76 14 0 6 5 4 0

File Visits

Views
dissertation_steyn_p.pdf 600
dissertation_steyn_p.pdf.txt 17

Top country views

Views
China 20
South Korea 13
Russia 11
South Africa 10
France 9
Japan 9
Ukraine 6
United States 5
Germany 4
Netherlands 2

Top cities views

Views
Beijing 19
Seoul 12
Tokyo 9
Braunschweig 4
Bogotá 1
Cape Town 1
Johannesburg 1
Mountain View 1
Pretoria 1
Scottsdale 1

Search UnisaIR


Browse

My Account

Statistics