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:
“If we could see ourselves as others see us, we would vanish on the spot.”
—E.M. Cioran (b. 1911)
Related Phrases
Related Words