![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computational Logic: Logic Programming and Beyond Volume 2408 || Automated Abduction
Kakas, Antonis C., Sadri, FaribaVolume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-45632-5_13
File:
PDF, 362 KB
english, 2002