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

first order logic
génér.	Prädikatenlogik der ersten Stufe
informat.	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
first-order logic
intell.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
ordin.	Prädikatenkalkül erster Stufe
Anglais glossaire
first-order logic
math.	first-order predicate logic (ssn)

first order logic : 7 phrases, 2 sujets

Informatique	3
Intelligence artificielle	4