Abstract Notions and Inference Systems for Proofs by Mathematical Induction.

Claus-Peter Wirth Klaus Becker

Published in: CTRS (1994)

Keyphrases

management system
mathematical proofs
inductive learning
feature selection
high level
bayesian networks
low level
mathematical knowledge
expert systems
probability distribution
distributed systems
computer systems
parameter estimation
data mining
probabilistic inference
subgroup discovery
neural network