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

Linear and Nonlinear Optimization, Second Edition
  • Year: 2008
  • Edition: 2nd
  • Publisher: Society for Industrial Mathematics
  • Type: Hardcover
  • ISBN13: 9780898716610
  • ISBN: 0898716616
Introduction to Management Science (11th Edition)
  • Year: 2012
  • Edition: 11st
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780132751919
  • ISBN: 0132751917
Matching Supply with Demand: An Introduction to...
  • Year: 2008
  • Edition: 2nd
  • Publisher: McGraw-Hill/Irwin
  • Type: Hardcover
  • ISBN13: 9780073525167
  • ISBN: 0073525162