Philippe Jorrand
Mots clés
FR |
EN
Sciences appliquees
Informatique
Intelligence artificielle
Automatique theorique
Systemes
Informatique, automatique theorique, systemes
Parallélisme (informatique)
Artificial intelligence
Neural network
Bisimulation
Reseau neuronal
Parallélisme
Robotique
Logique temporelle
These
Langage programmation
Programmation logique
Thesis
Programming language
Algèbre de processus