Inductive Programming

برمجة استقرائية

مجال يهتم بتصميم خوارزميات لبرامج حاسـب، ذات تحكم معقـد مـن مواصفات غير كاملة.