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

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

الإنجليزية

Inductive Programming

الفرنسية

Programmation inductive

الإسبانية

Programación Inductiva