توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
محل انتشار: مجله محاسبات نرم، دوره: 1، شماره: 2
سال انتشار: 1391
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 151
فایل این مقاله در 12 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_SCJKA-1-2_002
تاریخ نمایه سازی: 31 تیر 1401
چکیده مقاله:
سی ترم
کلیدواژه ها:
نویسندگان