پروژه آماده حل‌کننده خودکار SAT با استفاده از روش CDCL با پایتون

عنوان پروژه : پروژه پایتون
نرم افزار مورد استفاده : پایتون(Python)
گزارش : دارد
شماره پروژه : 70087
فرمت فایل : ipynb
خرید0
دیدگاه0

تومان 298,000

بازدیدهای محصول174