Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou".

Mounira Belmesk

Published in: SPLT (1990)

Keyphrases

higher education
lifelong learning
website
artificial neural networks
mobile applications
m learning
technology enhanced
decomposable negation normal form
real time
computational complexity