Visualizaciones | |
---|---|
Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories | 145 |
noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
---|---|---|---|---|---|---|---|
Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories | 1 | 2 | 6 | 1 | 4 | 0 | 0 |
Visualizaciones | |
---|---|
Lucas;Gutiérrez - Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories.pdf | 247 |
2 | |
LucGut_AutomaticSynthesisOfLogicalModelsForOrderSortedFirstOrderTheories_JAR17.pdf | 1 |
Visualizaciones | |
---|---|
Estados Unidos | 82 |
Francia | 13 |
China | 12 |
Alemania | 10 |
España | 9 |
Canadá | 7 |
Irlanda | 5 |
Letonia | 2 |
Chequia | 1 |
Finlandia | 1 |
Visualizaciones | |
---|---|
Ashburn | 30 |
Grenoble | 8 |
San Mateo | 7 |
Valencia | 7 |
Montréal | 6 |
Dublin | 5 |
San Jose | 5 |
Karlsruhe | 4 |
Alameda | 3 |
Hangzhou | 3 |