Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Florent Kirchner

Mots clés

FR |

EN

Prototype verification system (PVS)

Logique d'ordre supérieur

Sous-typage par prédicats

Théorie des types

Théorie de la démonstration

Prédicat (logique)