Dictionnaire Informatique

FOPC

en sg. m.

[mathématique] First Order Predicate Calculus. Calcul des prédicats de premier ordre.

 
Articles voisins :  fondeur < fonte < foo < foobar < footprint < FOPC > for > fora > forage > forçage > forçage de type .
Dern. modif. : 27-06-2001.