The Arithmetics of a Theory.

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

Keyphrases

computational model
theoretical framework
general theory
data mining
search engine
high level
feature extraction
learning environment
natural language
mathematical models
theoretical basis
domain theory
formal theory