Définition de FOPC

sg. m.
[MATH] First Order Predicate Calculus. Calcul des prédicats de premier ordre.
Articles voisins :
fond de panier
- fondeur - fonte - foo - foobar - for - fora - forage - forçage - forçage de type

Définition fournie par Le Jargon Français