Completeness, Confluence, and Related Properties of Clause Graph Resolution (Research Notes in Artificial Intelligence)

EAN/UPC/ISBN Code 9781558601956
Brand Morgan Kaufmann Publishers In