Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 684

Total Visits Per Month

December 2014 January 2015 February 2015 April 2015 May 2015
Validating reasoning heuristics using next generation theorem provers 54 76 14 6 5

File Visits

Views
dissertation_steyn_p.pdf 480
dissertation_steyn_p.pdf.txt 13

Top country views

Views
France 8
South Korea 1
United States 1
South Africa 1

Top cities views

Views
Scottsdale 1
Seoul 1

Search UnisaIR


Browse

My Account

Statistics