Inductive assertion patters for recursive procedures.

Maarten M. Fokkinga

Published in: Symposium on Programming (1974)

Keyphrases

inductive learning
recursive programs
machine learning
image processing
inductive logic programming
inductive inference
information retrieval
website
domain knowledge
recursive algorithm
recursive functions
similarity measure