Proving Open Properties by Induction.

Jean-Claude Raoult

Published in: Inf. Process. Lett. (1988)

Keyphrases

desirable properties
topological properties
databases
machine learning
real time
search engine
web pages
image processing
evolutionary algorithm
inductive inference