Termination of logic programs with imperfect information: applications and query procedure
- Damásio, C.V.
- Medina, J.
- Ojeda-Aciego, M.
ISSN: 1570-8683
Año de publicación: 2007
Volumen: 5
Número: 3
Páginas: 435-458
Tipo: Artículo
ISSN: 1570-8683
Año de publicación: 2007
Volumen: 5
Número: 3
Páginas: 435-458
Tipo: Artículo