Estatísticas para Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes
Total de visitas
| views | |
|---|---|
| Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes | 205 |
Total de visitas por mês
| views | |
|---|---|
| agosto 2025 | 3 |
| setembro 2025 | 0 |
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 1 |
Downloads
| views | |
|---|---|
| Dissertacao_1102730.pdf | 4 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 97 |
| Brasil | 47 |
| Estados Unidos | 25 |
| Espanha | 7 |
| Alemanha | 4 |
| Angola | 3 |
| Cabo Verde | 3 |
| China | 2 |
| Irão | 2 |
| Moçambique | 2 |
| Canadá | 1 |
| Suíça | 1 |
| Colômbia | 1 |
| Índia | 1 |
| Itália | 1 |
| Países Baixos | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Ponta Delgada | 3 |
| Bambui | 1 |
| Lisbon | 1 |