Termination of logic programs with imperfect information: applications and query procedure
- Damásio, C.V.
- Medina, J.
- Ojeda-Aciego, M.
ISSN: 1570-8683
Datum der Publikation: 2007
Ausgabe: 5
Nummer: 3
Seiten: 435-458
Art: Artikel
ISSN: 1570-8683
Datum der Publikation: 2007
Ausgabe: 5
Nummer: 3
Seiten: 435-458
Art: Artikel