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

first-order logic
comp.	Prädikatenkalkül erster Stufe
intel.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
first order logic
gen.	Prädikatenlogik der ersten Stufe
IT	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
Inglés tesauro
first-order logic
mat.	first-order predicate logic (ssn)

First-order Logic : 7 a las frases, 2 temas

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