Logic Programming and Nonmonotonic Reasoning

Bok av Ulrich Furbach