Il y a 1 Résultats pour : "Méthodes: logique et programmation par contraintes; dynamique symbolique; apprentissage. Applications: caractérisation fonctionnelle; espèce non-modèle; intégration multi-échelle."