Statistics

Total Visits

Views
Validating reasoning heuristics using next generation theorem provers 673

Total Visits Per Month

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

File Visits

Views
dissertation_steyn_p.pdf 464
dissertation_steyn_p.pdf.txt 13

Top country views

Views

Top cities views

Views

Search UnisaIR


Browse

My Account

Statistics