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

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

Authors	Bahareh Badban Jaco van de Pol
Conference	نهمین کنفرانس سالانه انجمن کامپیوتر ایران
Abstract
قیمت	برای اعضای سایت : 100,000 Rial برای دانشجویان عضو انجمن : 20,000 Rial برای اعضای عادی انجمن : 40,000 Rial

خرید مقاله

Conferences and Events