Resolution (logic) - See Also

See Also

  • Consensus theorem
  • Inductive Logic Programming
  • Inverse resolution
  • Logic Programming
  • Method of analytic tableaux
  • SLD resolution

Read more about this topic:  Resolution (logic)

Famous quotes containing the word see:

    “Then turning to the disciples, Jesus said to them privately, “Blessed are the eyes that see what you see! For I tell you that many prophets and kings desired to see what you see, but did not see it, and to hear what you hear, but did not hear it.””
    —Bible: New Testament, Luke 10:23,24.