Login / Signup

Non-primitive Recursive Function Definitions.

Sten Agerholm
Published in: TPHOLs (1995)
Keyphrases
  • database
  • machine learning
  • expert systems
  • special case
  • higher level
  • multi valued