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

predicate logic
génér.	Prädikatenlogik f
informat.	Prädikatenlogik 1.Ordnung
intell.	Prädikatenkalkül m; Funktionenkalkül m; Quantorenlogik f
phys.	Attributenkalkül n
techn.	Praedikatenlogik f
Anglais glossaire
predicate logic
abrév.	quantificational logic (ssn)

predicate logic : 7 phrases, 2 sujets

Informatique	4
Intelligence artificielle	3