Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 601

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 60

File Visits

Views
dissertation_steyn_p.pdf 509
dissertation_steyn_p.pdf.txt 17

Top country views

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

Top cities views

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

Search UnisaIR


Browse

My Account

Statistics