FOPC

Une définition du Jargon Français.
Aller à : Navigation, rechercher

Dr enus.png sigle masculin.  [mathématique]. First Order Predicate Calculus. Calcul des prédicats de premier ordre.