Computability and uncountable Linear Orders I: Computable Categoricity.

Noam Greenberg Asher M. Kach Steffen Lempp Daniel Turetsky

Published in: J. Symb. Log. (2015)

Keyphrases

quadratic programming
databases
learning environment
real time
e learning
image sequences
objective function
support vector
lower bound
closed form
linear systems
optimal linear