Login / Signup

Proofs by Induction in "Fairly" Specified Equational Theories.

Michel Bidoit
Published in: GWAI (1982)
Keyphrases
  • equational theories
  • theorem proving
  • inductive learning
  • machine learning
  • inductive logic programming
  • inductive inference
  • rule induction
  • database
  • probabilistic model