نتایج جستجو
پرش به ناوبری
پرش به جستجو
- [[رده:یکسانسازی (رایانه)]] ...۳ کیلوبایت (۶۰ واژه) - ۲۹ دسامبر ۲۰۲۳، ساعت ۰۹:۴۲
- ...</ref> {{به انگلیسی|unification}} یا '''یکسانسازی''' در [[منطق]] و [[علوم رایانه]]، یک فرایند [[الگوریتم|الگوریتمی]] برای [[حل معادله]]ها بین [[عبارت (ریاض ...امروزه استدلال خودکار هنوز اصلیترین زمینه در کاربرد مسئله همانسازی است. یکسانسازی سطحاول نحوی در [[برنامهنویسی منطقی]]، و نیز پیادهسازی [[سیستم نوع|سامانه ...۱۹ کیلوبایت (۷۳۵ واژه) - ۱۶ دسامبر ۲۰۲۳، ساعت ۱۰:۰۷
- ...این منبع انفجار ترکیبها در سال ۱۹۶۵ و توسط [[یکسانسازی (رایانه)|الگوریتم یکسانسازی]] نحوی [[:en:John_Alan_Robinson|جان الان رابینسون]] از بین رفت. در این الگو که در آن <math>\phi</math> [[یکسانسازی (رایانه)|عمومیترین یکسانساز]] برای <math>L_1</math> و <math>\overline{L_2}</math> ...۱۲ کیلوبایت (۴۰۴ واژه) - ۲۵ اکتبر ۲۰۲۱، ساعت ۱۲:۳۶
- [[رده:یکسانسازی (رایانه)]] ...۵ کیلوبایت (۱۵۹ واژه) - ۳۰ اوت ۲۰۲۴، ساعت ۱۰:۴۳