первого – phrases

Terms for subject Artificial intelligence containing первого | all forms | exact matches only

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