Institutional Repository

Statistics

UnisaIR/Manakin Repository

Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 452

Total Visits Per Month

October 2013 November 2013 December 2013 January 2014 February 2014 March 2014 April 2014
Validating reasoning heuristics using next generation theorem provers 20 12 11 13 19 10 5

File Visits

Views
dissertation_steyn_p.pdf 379
dissertation_steyn_p.pdf.txt 17

Top country views

Views
United States 103
China 77
Netherlands 52
South Africa 44
Russia 39
South Korea 37
Japan 32
France 10
Germany 7
Ukraine 7

Top cities views

Views
Beijing 77
Redwood City 41
Tokyo 31
Seoul 23
Pretoria 16
Matawan 12
Sayreville 10
Seattle 9
Braunschweig 4
Ashburn 3

Search UnisaIR


Browse

My Account

Statistics