Proof Complexity - See Also

See Also

  • Automated theorem proving
  • Computational complexity
  • Intuitionistic logic
  • Non-monotonic logic

Read more about this topic:  Proof Complexity

Famous quotes containing the word see:

    “For the gods, though slow to see, see well, whenever a man casting aside worship turns folly.”
    —Sophocles (497–406/5 B.C.)