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

Completeness

by N. Eisinger

Paperback

details (United Kingdom).

ISBN: 978-0-273-08840-0

ISBN-10: 0-273-08840-8

Financial Times Prentice Hall · 1991