عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
IR
۲۴ط
فارسی
IR
طراحی و پیاده سازی یک نمونه اثبات کننده خودکار قضایا با قابلیت استفاده از اسثقرار
[طرح تحقیقاتی]
/ رضا رافع
اراک
: دانشگاه اراک.
چاپی
رافع ،رضا
ایران
دانشگاه اراک
۲۴ م طرحپژوهشی
فهرستنویسی قبلی
p
XF
1
a
Y
