Login / Signup
Calculi of Explicit Substitutions: New Results.
Pierre Lescanne
Published in:
APPIA-GULP-PRODE (1996)
Keyphrases
</>
genetic algorithm
database
real time
metadata
image processing
decision trees
three dimensional
objective function
expert systems
fuzzy logic
sequent calculi