Login / Signup
Compilation abstraite de LambdaProlog.
Frédéric Malésieux
Olivier Ridoux
Patrice Boizumault
Published in:
JFPLC (1998)
Keyphrases
</>
knowledge compilation
data mining
expert systems
database
real time
genetic algorithm
upper bound
general purpose
model counting