Inglés ⇄ Alemán Chino Danés Español Finlandés Francés Griego Inglés Italiano Japonés Neerlandés Portugués Ruso Sueco Ucraniano +

predicate logic
gen.	Prädikatenlogik f
fís.	Attributenkalkül n
intel.	Prädikatenkalkül m; Funktionenkalkül m; Quantorenlogik f
IT	Prädikatenlogik 1.Ordnung
tec.	Praedikatenlogik f
Inglés tesauro
predicate logic
abrev.	quantificational logic (ssn)

predicate logic : 7 a las frases, 2 temas

Inteligencia artificial	3
Tecnología de la información	4