Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 567

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 12 23 15 22 11 33

File Visits

Views
dissertation_steyn_p.pdf 490
dissertation_steyn_p.pdf.txt 17

Top country views

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

Top cities views

Views
Beijing 69
Redwood City 44
Tokyo 31
Redmond 27
Seoul 27
Sunnyvale 26
Pretoria 19
Seattle 13
Matawan 12
Sayreville 10

Search UnisaIR


Browse

My Account

Statistics