Nepomnjascij's Theorem and Independence Proofs in Bounded Arithmetic
Chris PollettPublished in: Electron. Colloquium Comput. Complex. (2002)
Keyphrases
- interactive theorem proving
- arithmetic operations
- theorem prover
- natural deduction
- intuitionistic logic
- conditional independence
- decision trees
- probability distribution
- von neumann
- neural network
- decision making
- objective function
- data structure
- artificial neural networks
- data sets
- decision procedures
- information retrieval
- digital topology