Estatísticas para ProverX: rewriting and extending prover9
Total de visitas
| views | |
|---|---|
| ProverX: rewriting and extending prover9 | 280 |
Total de visitas por mês
| views | |
|---|---|
| novembro 2025 | 3 |
| dezembro 2025 | 1 |
| janeiro 2026 | 8 |
| fevereiro 2026 | 2 |
| março 2026 | 3 |
| abril 2026 | 0 |
| maio 2026 | 2 |
Downloads
| views | |
|---|---|
| TD_IvoRobert.pdf | 2075 |
| Introdução à Base de Dados.pdf | 1 |
| Introdução à globalização e internacionalização das empresas comerciais (e não só…).pdf | 1 |
| Dissertação_Jorge.Xavier_ 1104916.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 151 |
| Estados Unidos | 35 |
| Reino Unido | 13 |
| China | 9 |
| Alemanha | 9 |
| Brasil | 7 |
| Turquia | 4 |
| Áustria | 3 |
| Suíça | 3 |
| Chéquia | 3 |
| França | 3 |
| Itália | 3 |
| Japão | 3 |
| Angola | 2 |
| Canadá | 2 |
| Dinamarca | 2 |
| Espanha | 2 |
| Irlanda | 2 |
| Moçambique | 2 |
| Polónia | 2 |
| Singapura | 2 |
| Emirados Árabes Unidos | 1 |
| Austrália | 1 |
| Indonésia | 1 |
| Irão | 1 |
| Marrocos | 1 |
| Países Baixos | 1 |
| Nova Zelândia | 1 |
| Filipinas | 1 |
| Roménia | 1 |
| Rússia | 1 |
| Tailândia | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Manchester | 11 |
| Arruda dos Vinhos | 6 |
| Lisbon | 6 |
| Princeton | 2 |
| Alenquer | 1 |
| Cascais | 1 |
| Ponta Delgada | 1 |
| Santo Tirso | 1 |
| Singapore | 1 |