Login / Signup

Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization.

Erik BarendsenMarc 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