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