Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Raphaël
Cauderlier
IdRef
Mots clés
FR
|
EN
Objets
Interopérabilité
Logique
Réécriture
Systèmes de preuve
Méthodes formelles (informatique)
Langages de programmation orientés objet
Cadre logique
Interoperabilité
Dedukti
Pratique basée sur les preuves
Interconnexion de réseaux (télécommunications)
Assistants de preuve
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)
Examinateur / Examinatrice pour 1 thèse(s)