A Type of Partial Recursive Functions.

Ana Bove Venanzio Capretta

Published in: TPHOLs (2008)

Keyphrases

recursive functions
inductive inference
databases
information retrieval
artificial intelligence
image classification
decision rules