Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 543

Total Visits Per Month

March 2014 April 2014 May 2014 June 2014 July 2014 August 2014 September 2014
Validating reasoning heuristics using next generation theorem provers 10 11 13 23 15 24 4

File Visits

Views
dissertation_steyn_p.pdf 452
dissertation_steyn_p.pdf.txt 17

Top country views

Views
United States 158
China 82
Netherlands 64
South Africa 51
South Korea 42
Russia 39
Japan 32
France 13
Germany 7
Ukraine 7

Top cities views

Views
Beijing 82
Redwood City 43
Tokyo 31
Seoul 27
Redmond 24
Sunnyvale 23
Pretoria 18
Matawan 12
Sayreville 10
Seattle 9

Search UnisaIR


Browse

My Account

Statistics