Английский ⇄ Английский Греческий Датский Испанский Итальянский Китайский Немецкий Нидерландский Португальский Русский Украинский Финский Французский Шведский +

first order logic
общ.	Prädikatenlogik der ersten Stufe
ИТ.	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
first-order logic
ИИ.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
комп.	Prädikatenkalkül erster Stufe
Английский тезаурус
first-order logic
мат.	first-order predicate logic (ssn)

first order logic : 7 фраз в 2 тематиках

Информационные технологии	3
Искусственный интеллект	4