How to Prove Inductive Theorems? QUODLIBET!

Jürgen Avenhaus Ulrich Kühler Tobias Schmidt-Samoa Claus-Peter Wirth

Published in: CADE (2003)

Keyphrases

inductive learning
machine learning
three dimensional
knowledge representation
rule learning
inductive reasoning
learning algorithm
image processing
wireless sensor networks