Login / Signup
A larger decidable semiunification problem.
Brad Lushman
Gordon V. Cormack
Published in:
PPDP (2007)
Keyphrases
</>
first order logic
decision trees
case study