Completeness, Confluence, and Related Properties of Clause Graph Resolution (Research Notes in Artificial Intelligence)

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

FINDING THE BEST PRICES

Related Books

Introduction to Management Science (11th Edition)
  • Year: -0001
  • Edition: 11st
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780132751919
  • ISBN: 0132751917
Engineering Economy
  • Year: -0001
  • Edition: 7th
  • Publisher: McGraw-Hill Education
  • Type: Hardcover
  • ISBN13: 9780073376301
  • ISBN: 0073376302
Introduction to Management Science
  • Year: -0001
  • Edition: 10th
  • Publisher: Pearson College Div
  • Type: Hardcover
  • ISBN13: 9780136064367
  • ISBN: 0136064361