Completeness, confluence, and related properties of clause graph resolution
Author(s)
Bibliographic Information
Completeness, confluence, and related properties of clause graph resolution
（Research notes in artificial intelligence）
Pitman , Morgan Kaufmann, 1991
- : Kaufmann
- : Pitman
Available at / 11 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
