
Completeness, Confluence, and Related Properties of Clause Graph Resolution (Research Notes in Artificial Intelligence)
by Norbert Eisinger- List Price: $37.00
- ISBN-10: 1558601953
- ISBN-13: 9781558601956
- Edition: N/A
- Type: Paperback
- Publisher: Morgan Kaufmann Pub
About The Book
Clause graph (or connection graph) resolution was invented by Robert Kowalski in 1975. Its behaviour differs significantly from that of traditional... Read more
Related Books

- Year: -0001
- Edition: 11st
- Publisher: Prentice Hall
- Type: Hardcover
- ISBN13: 9780132751919
- ISBN: 0132751917

$2862
Engineering Economy
- Year: -0001
- Edition: 7th
- Publisher: McGraw-Hill Education
- Type: Hardcover
- ISBN13: 9780073376301
- ISBN: 0073376302

- Year: -0001
- Edition: 10th
- Publisher: Pearson College Div
- Type: Hardcover
- ISBN13: 9780136064367
- ISBN: 0136064361