Terms for subject Artificial intelligence containing первые

Russian	English
логика первого порядка с полиморфными типами	first-order logic with polymorphic types (Alex_Odeychuk)
метод первой точки единичной импликации для запоминания дизъюнктов	first UIP clause learning (Alex_Odeychuk)
семантика логики предикатов первого порядка	first-order logic semantics (Alex_Odeychuk)