Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Lawrence C.
Paulson
IdRef
Mots clés
FR
|
EN
Preuve formelle
Coq
Analyse classique
Théorie du contrôle
Pendule inversé
Automatisation
Calcul
Méthodes formelles (informatique)
Assistants de preuve
Commande, Théorie de la
Pendule
Calcul formel
Calcul numérique
Intégrales
Multiplication de matrices
Calculs numériques
Matrices
Liste des thèses par rôle
Rapporteur / Rapporteuse pour 1 thèse(s)
Examinateur / Examinatrice pour 2 thèse(s)