Temporal equilibrium logic: A survey
- Aguado, F.
- Cabalar, P.
- Diéguez, M.
- Pérez, G.
- Vidal, C.
ISSN: 1166-3081, 1958-5780
Año de publicación: 2013
Volumen: 23
Número: 1-2
Páginas: 2-24
Tipo: Aportación congreso
ISSN: 1166-3081, 1958-5780
Año de publicación: 2013
Volumen: 23
Número: 1-2
Páginas: 2-24
Tipo: Aportación congreso