FOPC

Une définition du Jargon Français.

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

Récupérée de « http://jargonf.org/wiki/FOPC »