Démonstrateur automatique de théorèmes Démonstration interactive Détection biologique
Détection de personnes
Détection de scènes
Développement et validation dirigés par modèles
Diamant mono cristallin