Philippe Jorrand
IdRefMots clés
FR |
EN
Sciences appliquees
Informatique
Intelligence artificielle
Automatique theorique
Systemes
Informatique, automatique theorique, systemes
Parallélisme (informatique)
Neural network
Artificial intelligence
Bisimulation
Robotique
Parallélisme
Reseau neuronal
Logique temporelle
Programmation automatique
Connexionnisme
Prolog
Sémantique du parallélisme
Algèbre de processus
Modélisation