Vertaling van "predicate logic " (Engels → Frans) :

3-valued predicate logic
logique de prédicats à trois valeurs

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

second order logic | second-order predicate calculus | second-order predicate logic
logique d'ordre 2 | logique du deuxième ordre

two-sorted predicate logic [ two-sorted logic | many-sorted logic | many-sorted calculus ]
calcul multi-sortes [ logique multi-sortes ]

first-order predicate calculus [ first order predicate logic | quantification theory ]
calcul des prédicats du premier ordre [ logique des prédicats du premier ordre ]

first-order logic | first-order predicate logic
logique du premier ordre | LPO | logique des prédicats du premier ordre

clause form of predicate logic
forme clausale en logique de prédicats

predicate offence to money laundering | predicate offence for money laundering | money laundering predicate offence
infraction préalable au blanchiment d'argent | infraction sous-jacente au blanchiment d'argent | infraction sous-jacente au blanchiment de capitaux | infraction sous-jacente du blanchiment de capitaux | acte préparatoire au blanchiment d'argent

logical data model | logical model | logical entity-relation model | logical E-R model
modèle logique de données | MLD | modèle logique | modèle fonctionnel de données | modèle de données logique | modèle de données logiques

Dolby Pro Logic | Dolby Surround Pro Logic | DS Pro Logic
système Dolby Pro Logic