A first-order theory of Ulm type.

Matthew Harrison-Trainor

Published in: Comput. (2019)

Keyphrases

higher order
theoretical framework
data sets
first order logic
information theory
theoretical basis
real time
machine learning
multiscale
formal model
concept learning