رده:برنامهنویسی منطقی
زیرردهها
این رده ۸ زیرردۀ زیر را دارد، این رده در کل ۸ زیررده دارد.
ا
ب
- برنامهنویسی ارضای محدودیت (۱۵ ص)
پ
ت
- تجدید نظر در باور (۹ ص)
ز
ف
- فرمهای نرمال (منطق) (۵ ص)
ی
- یکسانسازی (رایانه) (۳ ص)
صفحهها
۱۵ صفحۀ زیر در این رده هستند؛ این رده در کل ۱۵ صفحه دارد.