Estatísticas para Novas técnicas de instanciação e produção de demonstrações para a resolução SMT
Total de visitas
| views | |
|---|---|
| Novas técnicas de instanciação e produção de demonstrações para a resolução SMT | 151 |
Total visitas por mês
| views | |
|---|---|
| janeiro 2025 | 2 |
| fevereiro 2025 | 4 |
| março 2025 | 6 |
| abril 2025 | 3 |
| maio 2025 | 0 |
| junho 2025 | 0 |
| julho 2025 | 0 |
Visitas Arquivos
| views | |
|---|---|
| HanielMoreiraBarbosa_TESE.pdf | 215 |
| HanielMoreiraBarbosa_TESE.pdf(legacy) | 53 |
| null(legacy) | 1 |
Maiores visualizações por país
| views | |
|---|---|
| Brasil | 44 |
| Estados Unidos | 43 |
| Alemanha | 16 |
| Irlanda | 15 |
| China | 7 |
| Singapura | 4 |
| Finlândia | 3 |
| Bélgica | 2 |
| Espanha | 2 |
| Japão | 2 |
| Polônia | 2 |
| Argentina | 1 |
| Áustria | 1 |
| Austrália | 1 |
| Canadá | 1 |
| França | 1 |
| Moldávia | 1 |
| Países Baixos | 1 |
| Rússia | 1 |
| Suécia | 1 |
| Eslováquia | 1 |
| Síria | 1 |
| Vietnã | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Belo Horizonte | 11 |
| Ashburn | 10 |
| Manaus | 10 |
| Dublin | 7 |
| Beijing | 3 |
| Patos de Minas | 3 |
| Singapore | 3 |
| Ann Arbor | 2 |
| Aptos | 2 |
| Rio de Janeiro | 2 |
| San Mateo | 2 |
| Sete Lagoas | 2 |
| São Paulo | 2 |
| Zhengzhou | 2 |
| Amarante | 1 |
| Amsterdam | 1 |
| Axixa do Tocantins | 1 |
| Betim | 1 |
| Campinas | 1 |
| Chisinau | 1 |
| Criciúma | 1 |
| Cuiabá | 1 |
| Córdoba | 1 |
| Des Moines | 1 |
| Fortaleza | 1 |
| Granada | 1 |
| Ipatinga | 1 |
| Ludwigshafen am Rhein | 1 |
| Mountain View | 1 |
| Natal | 1 |
| Nuremberg | 1 |
| Saarbrücken | 1 |
| Sao Paulo do Potengi | 1 |
| Setagaya-ku | 1 |
| Tianjin | 1 |
| Uberlândia | 1 |
| Watertown | 1 |
| Wurzburg | 1 |