An Analysis of Tennenbaum's Theorem in Constructive Type Theory.

Marc Hermes Dominik Kirst

Published in: CoRR (2023)

Keyphrases

statistical analysis
theoretical framework
data structure
preprocessing
image analysis
neural network
learning algorithm
social networks
wide range
support vector
multi agent systems
digital libraries