دوره 1، شماره 2 - ( پاییز و زمستان 91-زمان پایان: 1391 )                   جلد 1 شماره 2 صفحات 14-25 | برگشت به فهرست نسخه ها


XML English Abstract Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

Kadkhoda M, Jalili S, Izadi M. Improvement of Semantic Labeling Method by KBO for Automated Termination Proof . SCJ. 2013; 1 (2) :14-25
URL: http://scj.kashanu.ac.ir/article-1-72-fa.html
کدخدا محمد، جلیلی سعید، ایزدی محمد. توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان‌پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران. نشریه علمی ترویجی محاسبات نرم. 1391; 1 (2) :14-25

URL: http://scj.kashanu.ac.ir/article-1-72-fa.html


1- دانشيار دانشگاه تربیت مدرس
2- استاديار دانشگاه صنعتی شریف
چکیده:   (3503 مشاهده)
سی ترم

 

متن کامل [PDF 805 kb]   (1311 دریافت)    
نوع مطالعه: پژوهشي | موضوع مقاله: تخصصي
دریافت: ۱۳۹۲/۵/۲۰ | پذیرش: ۱۳۹۲/۵/۲۳ | انتشار: ۱۳۹۲/۵/۲۱

ارسال نظر درباره این مقاله : نام کاربری یا پست الکترونیک شما:
کد امنیتی را در کادر بنویسید

کلیه حقوق این وب سایت متعلق به مجله محاسبات نرم می باشد.

طراحی و برنامه نویسی : یکتاوب افزار شرق

© 2015 All Rights Reserved | Soft Computing Journal

Designed & Developed by : Yektaweb