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

first-order predicate logic
informat.	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
intell.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
Anglais glossaire
first-order predicate logic
abrév., math.	first-order logic (ssn)