Second-Order Languages and Mathematical Practice.

Stewart Shapiro

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

Keyphrases

expressive power
higher order
language independent
real world
high order
multi lingual
linguistic resources
data sets
machine learning
learning algorithm
bayesian networks
relational databases
query language
query translation
english text