Formalizing Moessner's theorem and generalizations in Nuprl.

Mark Bickford Dexter Kozen Alexandra Silva

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

training data
feature selection
knowledge base
image processing
face recognition
learning environment
pattern recognition
digital topology