A Forgotten Theory of Proofs ?

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

Keyphrases

theoretical framework
theoretical basis
real time
information theory
real world
machine learning
image processing
image sequences