Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 562

Total Visits Per Month

May 2014 June 2014 July 2014 August 2014 September 2014 October 2014 November 2014
Validating reasoning heuristics using next generation theorem provers 12 23 14 22 11 32 21

File Visits

Views
dissertation_steyn_p.pdf 498
dissertation_steyn_p.pdf.txt 17

Top country views

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

Top cities views

Views
Redwood City 44
Beijing 42
Sunnyvale 36
Tokyo 31
Redmond 27
Seoul 27
Pretoria 19
Seattle 13
Matawan 12
Ashburn 11

Search UnisaIR


Browse

My Account

Statistics