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

predicate calculus
génér.	Prädikatrechnung f
informat.	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
intell.	Funktionenkalkül m; Quantorenlogik f
phys.	Attributenkalkül n
progr.	Prädikatenkalkül m (ssn)

predicate calculus : 17 phrases, 2 sujets

Informatique	5
Intelligence artificielle	12