Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 703

Total Visits Per Month

April 2015 May 2015 June 2015 July 2015 August 2015 September 2015
Validating reasoning heuristics using next generation theorem provers 6 5 4 3 8 4

File Visits

Views
dissertation_steyn_p.pdf 534
dissertation_steyn_p.pdf.txt 13

Top country views

Views
France 13
South Africa 9
China 2
Ukraine 2
United States 2
Germany 1
South Korea 1

Top cities views

Views
Pretoria 4
Johannesburg 2
Shenzhen 2
Redwood City 1
Scottsdale 1
Seoul 1

Search UnisaIR


Browse

My Account

Statistics