Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions.

Richard J. Boulton Konrad Slind

Published in: Computational Logic (2000)

Keyphrases

inductive inference
recursive functions
database
neural network
case study
expert systems
semi supervised learning
positive and negative