Inférence de non-terminaison pour les programmes logiques avec contraintes.

Étienne Payet Frédéric Mesnard

Published in: JFPLC (2004)

Keyphrases

higher education
technology enhanced
lifelong learning
corporate training
m learning
cooperative
software engineering
learning algorithm
e learning
website
case study
information technology
low cost