A note on Hjorth's oscillation theorem.

Julien Melleray

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

Keyphrases

onset detection
real time
neural network
genetic algorithm
decision making
cooperative
von neumann
data streams
viewpoint
control system
probabilistic model
interactive theorem proving