Login / Signup
An Analysis of Tennenbaum's Theorem in Constructive Type Theory.
Marc Hermes
Dominik Kirst
Published in:
FSCD (2022)
Keyphrases
</>
image analysis
three dimensional
theoretical framework
general theory
von neumann
real time
real world
computer vision
multimedia
statistical analysis
theoretical basis
empirical data