Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 634

Total Visits Per Month

June 2014 July 2014 August 2014 September 2014 October 2014 November 2014 December 2014
Validating reasoning heuristics using next generation theorem provers 23 14 22 11 32 66 27

File Visits

Views
dissertation_steyn_p.pdf 527
dissertation_steyn_p.pdf.txt 17

Top country views

Views
United States 226
Netherlands 66
France 52
South Africa 52
South Korea 44
China 42
Russia 39
Japan 32
Germany 17
United Kingdom 7

Top cities views

Views
Sunnyvale 60
Redwood City 45
Beijing 42
Tokyo 31
Redmond 29
Seoul 27
Pretoria 19
Seattle 15
Ashburn 12
Matawan 12

Search UnisaIR


Browse

My Account

Statistics