Sign in
A decidable theory involving addition of differentiable real functions.
Gabriele Buriola
Domenico Cantone
Gianluca Cincotti
Eugenio G. Omodeo
Gaetano T. Spartà
Published in:
Theor. Comput. Sci. (2023)
Keyphrases
</>
theoretical framework
theoretical basis
general theory
real time
computer vision
databases
data mining
clustering algorithm
image sequences
search algorithm
real life
transitive closure
von neumann