A New Characterization of Lambda Definability.

Achim Jung Jerzy Tiuryn

Published in: TLCA (1993)

Keyphrases

fixed point
propositional logic
expert systems
training data
real world
machine learning
artificial intelligence
knowledge base
pattern recognition