انجمن کامپیوتر ایران

برای عضویت کلیک کنید

ورود | ثبت‌نام

مشاهده‌ مشخصات مقاله

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

Bahareh Badban, Jaco van de Pol

نویسنده (ها)

نهمین کنفرانس سالانه انجمن کامپیوتر ایران

مربوط به کنفرانس

چکیده

برای اعضای سایت : ۱٠٠,٠٠٠ ریال
برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

قیمت

خرید مقاله

تمام حقوق مادی و معنوی این سایت متعلق به انجمن کامپیوتر ایران می باشد و استفاده از مطالب با ذکر منبع بلامانع است.