Extending LogicWeb via Hereditary Harrop Formulas.

Keehang Kwon Dae-Seong Kang

Published in: IEICE Trans. Inf. Syst. (2008)

Keyphrases

database
real world
real numbers
databases
neural network
machine learning
search engine
image processing
query language
boolean functions
mathematical formulas