Login / Signup
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.
Frédéric Malésieux
Olivier Ridoux
Patrice Boizumault
Published in:
JFPLC (1999)
Keyphrases
</>
database
e learning
real time
multimedia
multi agent
data structure
trade off
knowledge representation
fixed point
knowledge base
website
video sequences
natural language
general purpose