Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Mélanie Jacquel

Mots clés

FR |

EN

Déduction automatique

Superdéduction

Règles de l'Atelier B

B (méthode formelle)

Déduction (logique)