عنوان طراحی و پیاده سازی یک اثبات کننده خودکار قضایا با قابلیت استفاده از استقرا نوع پژوهش طرح پژوهشی خاتمهیافته کلیدواژهها ثبت نشدهاست! چکیده ثبت نشدهاست! پژوهشگران رضا رافع (مجری)