Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 799

Total Visits Per Month

August 2015 September 2015 October 2015 November 2015 December 2015 January 2016 February 2016
Validating reasoning heuristics using next generation theorem provers 8 8 2 7 3 2 0

File Visits

Views
dissertation_steyn_p.pdf 689
dissertation_steyn_p.pdf.txt 17

Top country views

Views
China 24
France 20
South Africa 18
South Korea 13
Russia 13
Japan 9
Ukraine 8
United States 6
Germany 5
Ethiopia 3

Top cities views

Views
Beijing 19
Seoul 12
Tokyo 9
Pretoria 6
Shenzhen 5
Braunschweig 4
Johannesburg 3
Saint Petersburg 2
Bogotá 1
Cape Town 1

Search UnisaIR


Browse

My Account

Statistics