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

出版社: Morgan Kaufmann Pub(1991-10-01)

ペーパーバック: 181 ページ / 17.1 x 1.3 x 24.8 cm

ISBN-10: 1558601953  ISBN-13: 9781558601956