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

second order logic
informat.	Prädikatenlogik 2.Ordnung
ordin.	Prädikatenlogik zweiter Stufe
second-order logic
intell.	Prädikatenkalkül zweiter Ordnung (Stufe); Prädikatenlogik zweiter Ordnung (Stufe); Quantorenlogik zweiter Ordnung (Stufe)

second -order logic : 2 phrases, 1 sujets

Informatique

2