A type-open minimal model.

Published in: Arch. Math. Log. (1975)

Keyphrases

information retrieval
data structure
machine learning
search engine
decision making
learning environment
cooperative
object recognition
image analysis
type checking