Login / Signup

The Extended Calculus of Constructions (ECC) with Inductive Types

Christian-Emil Ore
Published in: Inf. Comput. (1992)
Keyphrases
  • machine learning
  • inductive learning
  • concept learning
  • error correction