Consistency of n-order logics.

William J. Thomas

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

expressive power
metadata
three dimensional
data sets
machine learning
learning algorithm
multiscale
cost function