Login / Signup
Partial Applicative Theories and Explicit Substitutions.
Thomas Strahm
Published in:
J. Log. Comput. (1996)
Keyphrases
</>
case study
real world
image segmentation
theoretical framework
legal knowledge
databases
clustering algorithm
multiscale
video sequences
digital libraries
probabilistic model