Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 577

Total Visits Per Month

April 2014 May 2014 June 2014 July 2014 August 2014 September 2014 October 2014
Validating reasoning heuristics using next generation theorem provers 11 13 23 15 24 12 26

File Visits

Views
dissertation_steyn_p.pdf 485
dissertation_steyn_p.pdf.txt 17

Top country views

Views
United States 170
China 88
Netherlands 66
South Africa 52
South Korea 44
Russia 39
Japan 32
Germany 13
France 13
United Kingdom 7

Top cities views

Views
Beijing 88
Redwood City 43
Tokyo 31
Seoul 27
Redmond 26
Sunnyvale 26
Pretoria 19
Matawan 12
Seattle 11
Sayreville 10

Search UnisaIR


Browse

My Account

Statistics