Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 515

Total Visits Per Month

February 2014 March 2014 April 2014 May 2014 June 2014 July 2014 August 2014
Validating reasoning heuristics using next generation theorem provers 25 10 11 13 23 15 0

File Visits

Views
dissertation_steyn_p.pdf 444
dissertation_steyn_p.pdf.txt 17

Top country views

Views
United States 137
China 80
Netherlands 63
South Africa 50
South Korea 41
Russia 39
Japan 32
France 11
Germany 7
Ukraine 7

Top cities views

Views
Beijing 80
Redwood City 42
Tokyo 31
Seoul 26
Pretoria 17
Sunnyvale 16
Redmond 14
Matawan 12
Sayreville 10
Seattle 9

Search UnisaIR


Browse

My Account

Statistics