فا   |   En
ورود به سایت
مشاهده‌ مشخصات مقاله

An Algorithm to Verify Formulas by means of (0,S,=)-BDDs

نویسنده (ها)
  • Bahareh Badban
  • Jaco van de Pol
مربوط به کنفرانس نهمین کنفرانس سالانه انجمن کامپیوتر ایران
چکیده
قیمت
  • برای اعضای سایت : ۱٠٠,٠٠٠ ریال
  • برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
  • برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

خرید مقاله