Splittings and Disjunctions in Reverse Mathematics.
Sam SandersPublished in: Notre Dame J. Formal Log. (2020)
Keyphrases
- computer science
- computer algebra
- computer assisted learning
- support vector
- computer algebra systems
- database
- middle school students
- grade students
- subject matter
- computer assisted instruction
- evolutionary algorithm
- cooperative
- image processing
- decision making
- artificial intelligence
- information retrieval
- real world