Completeness, confluence, and related properties of clause graph resolution
By: Norbert Eisinger
Publisher: [s.n.]
Published: 1988
Place of publication: [s.l.]
Language: eng
Number of pages: 185
Subjects: Artificial intelligence; Graph theory
Notes: Thesis (doctoral)--Universität Kaiserslautern, 1988.

Includes bibliographical references (p. 172-175) and index.