Glivenko and Kuroda for Simple Type Theory.

Chad E. Brown Christine Rizkallah

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

Keyphrases

metadata
expert systems
database
data mining
general theory
real time
machine learning
search engine
trade off
probabilistic model