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
Cézary
Kaliszyk
IdRef
Mots clés
FR
|
EN
Cadre logique
Interoperabilité
Dedukti
Pratique basée sur les preuves
Interconnexion de réseaux (télécommunications)
Assistants de preuve
Démonstration automatique
Théorie des types
Assistants à la preuve
Reconstruction de preuves
Skolemization
Théorèmes -- Démonstration automatique
Lambda-calcul
Liste des thèses par rôle
Rapporteur / Rapporteuse pour 1 thèse(s)
Examinateur / Examinatrice pour 2 thèse(s)