Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 754

Total Visits Per Month

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

File Visits

Views
dissertation_steyn_p.pdf 581
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
France 3
Netherlands 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