محدود کردن حل بیش از منطق های چند محوری: کاربرد در مدارهای دیجیتال
Constraint Solving Over Multi-valued Logics: Application to Digital Circuits
نویسنده: Francisco Azevedo
ناشر: IOS Press
سال انتشار: 2002
تعداد صفحات: 210
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت