Temporal Equilibrium Logic with past operators
- Aguado, F.
- Cabalar, P.
- Diéguez, M.
- Pérez, G.
- Vidal, C.
ISSN: 1958-5780, 1166-3081
Ano de publicación: 2017
Volume: 27
Número: 3-4
Páxinas: 161-177
Tipo: Artigo
ISSN: 1958-5780, 1166-3081
Ano de publicación: 2017
Volume: 27
Número: 3-4
Páxinas: 161-177
Tipo: Artigo