Login / Signup
Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization.
Erik Barendsen
Marc Bezem
Published in:
Ann. Pure Appl. Log. (1996)
Keyphrases
</>
objective function
search engine
machine learning
data sets
information retrieval
case study
expert systems
cost function
type checking