|
Unisa Institutional Repository
|
Statistics
Total Visits
| Views | |
| Validating reasoning heuristics using next generation theorem provers | 375 |
Total Visits Per Month
| November 2012 | December 2012 | January 2013 | February 2013 | March 2013 | April 2013 | May 2013 | |
| Validating reasoning heuristics using next generation theorem provers | 24 | 27 | 40 | 20 | 16 | 35 | 20 |
File Visits
| Views | |
| dissertation_steyn_p.pdf | 349 |
| dissertation_steyn_p.pdf.txt | 4 |
Top country views
| Views | |
| United States of America | 145 |
| China | 54 |
| Russian Federation | 39 |
| South Africa | 36 |
| Korea | 33 |
| Japan | 30 |
| Ukraine | 9 |
| Germany | 7 |
| Kenya | 3 |
| Netherlands | 3 |
Top cities views
| Views | |
| Beverly Hills | 54 |
| Seoul | 32 |
| Redwood City | 25 |
| Sayreville | 19 |
| Beijing | 16 |
| Johannesburg | 10 |
| Pretoria | 10 |
| Tokyo | 9 |
| Seattle | 5 |
| Brunswick | 4 |
Search UnisaIR
Browse
My Account
Statistics
|
|