Navegar

Colección

Datos Estadísticas

Lista de

Gorín, Daniel Alejandro
10
Journal of Automated Reasoning
1
"Resolution with order and selection for hybrid logics" (2011) Areces, C.; Gorín, D. Journal of Automated Reasoning. 46(1):1-42