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

Marc Hermes Dominik Kirst

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

data analysis
theoretical framework
real time
relational databases
statistical analysis
computational model
empirical data
real world
high level
face recognition
wide range
image analysis
evolutionary algorithm
mobile robot
automatic analysis