Advances in Logic Programming and Automated Reasoning

Bok av Ralph Wilkerson