Complexity Results for Logic−Based Abduction

Xehetasun bibliografikoak
Egile Nagusiak: Eiter, T, Gottlob, G
Formatua: Conference item
Argitaratua: 1992