صفحههایی که به «عبارت هورن» پیوند دارند
ظاهر
صفحههای زیر به عبارت هورن پیوند دارند:
ابزارهای بیرونی:
۸ مورد نمایش یافته است.
- برنامهنویسی منطقی (پیوندها | ویرایش)
- مسئله صدقپذیری بولی (پیوندها | ویرایش)
- روبرت کوالسکی (پیوندها | ویرایش)
- عبارت هورن (تراگنجانش) (پیوندها | ویرایش)
- زبان برنامهنویسی تابعی منطقی جبری (پیوندها | ویرایش)
- رزلوشن SLD (پیوندها | ویرایش)
- سینتکس و مفاهیم پرولوگ (پیوندها | ویرایش)
- بحث:عبارت هورن (پیوندها | ویرایش)