Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 737

Total Visits Per Month

August 2014 September 2014 October 2014 November 2014 December 2014 January 2015 February 2015
Validating reasoning heuristics using next generation theorem provers 22 11 32 66 54 76 0

File Visits

Views
dissertation_steyn_p.pdf 560
dissertation_steyn_p.pdf.txt 17

Top country views

Views
United States 292
Netherlands 66
France 61
South Africa 57
China 45
South Korea 45
Russia 39
Japan 32
Germany 24
Sweden 13

Top cities views

Views
Sunnyvale 84
Redwood City 46
Beijing 45
Redmond 35
Tokyo 31
Seoul 27
Pretoria 24
Frankfurt Am Main 16
Seattle 16
Ashburn 14

Search UnisaIR


Browse

My Account

Statistics