first-order – phrases

Terms for subject Artificial intelligence containing first-order | all forms | in specified order only

English	Russian
first-order logic semantics	семантика логики предикатов первого порядка (Alex_Odeychuk)
first-order logic with polymorphic types	логика первого порядка с полиморфными типами (Alex_Odeychuk)