Terms for subject Artificial intelligence containing first

English	Russian
first-order logic semantics	семантика логики предикатов первого порядка (Alex_Odeychuk)
first-order logic with polymorphic types	логика первого порядка с полиморфными типами (Alex_Odeychuk)
first UIP clause learning	метод первой точки единичной импликации для запоминания дизъюнктов (Alex_Odeychuk)
iterative deepening depth-first search	поиск преимущественно в глубину с итеративным углублением (Alex_Odeychuk)
partial breadth-first search	частичный поиск в ширину (psu.edu Alex_Odeychuk)