Temporal Equilibrium Logic with past operators
- Aguado, F.
- Cabalar, P.
- Diéguez, M.
- Pérez, G.
- Vidal, C.
ISSN: 1958-5780, 1166-3081
Año de publicación: 2017
Volumen: 27
Número: 3-4
Páginas: 161-177
Tipo: Artículo
ISSN: 1958-5780, 1166-3081
Año de publicación: 2017
Volumen: 27
Número: 3-4
Páginas: 161-177
Tipo: Artículo