Marginalia on a Theorem of Woodin.

Rasmus Blanck Ali Enayat

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

Keyphrases

von neumann
information systems
viewpoint
database
data sets
databases
information retrieval
knowledge base
decision trees
artificial neural networks
recommender systems
multiresolution
interactive theorem proving