Induction as the Basis for Program Verification.

Charles Reynolds Raymond T. Yeh

Published in: IEEE Trans. Software Eng. (1976)

Keyphrases

social networks
inductive learning
starting point
data sets
real world
machine learning
artificial intelligence
database systems
program synthesis
database
concept formation
explanation based learning
special case
computational complexity
cooperative
decision making
computer vision
information retrieval
databases