Le moteur de recherche
des thèses françaises
Laurent Trilling
IdRefMots clés
FR |
EN
Informatique
Sciences appliquees
Prolog
Bioinformatique
Géométrie
Manipulation directe
Enseignement assisté par ordinateur
Sciences appliquées
Automatique théorique
Systèmes
Démonstration automatique
Figure géométrique
Geometric figure
Types
Réseaux de régulation biologique
Systèmes complexes
Réseaux d’automates
Réseaux d’automates avec le temps
Apprentissage des modèles
Analyse formelle