Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Pierre Halmagrand

Mots clés

FR |

EN

Déduction Automatique

Déduction Modulo Théorie

Certification de Preuve

Méthode des Tableaux

B (méthode formelle)

Logiciels -- Développement