Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 751

Total Visits Per Month

September 2014 October 2014 November 2014 December 2014 January 2015 February 2015 March 2015
Validating reasoning heuristics using next generation theorem provers 11 32 66 54 76 14 0

File Visits

Views
dissertation_steyn_p.pdf 573
dissertation_steyn_p.pdf.txt 17

Top country views

Views
China 19
South Korea 12
Russia 11
Japan 9
South Africa 7
Ukraine 6
Germany 4
United States 4
Netherlands 2
Sweden 2

Top cities views

Views
Beijing 19
Seoul 11
Tokyo 9
Braunschweig 4
Bogotá 1
Cape Town 1
Johannesburg 1
Mountain View 1
Pretoria 1
Seattle 1

Search UnisaIR


Browse

My Account

Statistics