Completeness, Confluence, and Related Properties of Clause Graph Rosolution

Completeness, Confluence, and Related Properties of Clause Graph Rosolution

by Norbert Eisinger
     
 

Product Details

ISBN-13:
9781558601956
Publisher:
Morgan Kaufmann Publishers
Publication date:
12/01/1991
Series:
Research Notes in Artificial Intelligence Series
Pages:
181
Product dimensions:
6.60(w) x 9.60(h) x 0.40(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >