Completeness, confluence, and related properties of clause graph resolution
By: Norbert Eisinger.
Series: Research notes in artificial intelligence,; Research notes in artificial intelligence (London, England)
Publisher: Pitman; Morgan Kaufmann
Published: 1991
Place of publication: London; San Mateo, Calif
Language: eng
Number of pages: 181
Subjects: Artificial intelligence.; Graph theory.
Notes: Includes bibliographical references (p. 168-171) and index.