توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
- سال انتشار: 1391
- محل انتشار: مجله محاسبات نرم، دوره: 1، شماره: 2
- کد COI اختصاصی: JR_SCJKA-1-2_002
- زبان مقاله: فارسی
- تعداد مشاهده: 155
نویسندگان
دانشگاه تربیت مدرس
دانشگاه صنعتی شریف
چکیده
سی ترمکلیدواژه ها
اثبات پایان پذیری, برچسب گذاری معنایی, ترتیب کنت-بندیکس, سیستم بازنویسی ترماطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.