- -

Estadísticas

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Estadísticas

Número total de visitas

Visualizaciones
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving 143

Visitas al mes

octubre 2023 noviembre 2023 diciembre 2023 enero 2024 febrero 2024 marzo 2024 abril 2024
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving 0 1 4 2 2 4 0

Visitas al fichero

Visualizaciones
-Lucas - Synthesis of models for order-sorted first-order theories using linear algebra and constr....pdf 148

Países con más visualizaciones

Visualizaciones
Estados Unidos 86
China 16
Francia 16
Alemania 9
España 5
Irlanda 5
Finlandia 2
Holanda 2
Canadá 1
Japón 1

Ciudades con más visualizaciones

Visualizaciones
Ashburn 43
Louisville 12
Villeurbanne 6
Dublin 5
Beijing 3
Hangzhou 3
Nanchang 3
Alameda 2
Alicante 2
Des Moines 2