Anglais ⇄ Allemand Anglais Danois Espagnol Finnois Français Grec Italien Langues chinoises Néerlandais Portugais Russe Suédois Ukrainien +

first order logic
informat.	calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats
first-order logic
ordin.	calcul logique du premier échelon; calcul des prédicats du premier ordre
Anglais glossaire
first-order logic
math.	first-order predicate logic (ssn)

first -order logic : 5 phrases, 1 sujets

Informatique

5