نتایج جستجو برای: simple past
تعداد نتایج: 682788 فیلتر نتایج به سال:
We consider the problem of bounded model checking for linear temporal logic with past operators (PLTL). PLTL is more attractive as a specification language than linear temporal logic without past operators (LTL) since many specifications are easier to express in PLTL. Although PLTL is not more expressive than LTL, it is exponentially more succinct. Our contribution is a new more efficient encod...
Avertissement Le contenu de ce site relève de la législation française sur la propriété intellectuelle et est la propriété exclusive de l'éditeur. Les œuvres figurant sur ce site peuvent être consultées et reproduites sur un support papier ou numérique sous réserve qu'elles soient strictement réservées à un usage soit personnel, soit scientifique ou pédagogique excluant toute exploitation comme...
Introduction: one domain of morphology is inflection that adds syntactic considerations to the words. This domain is affected in individual with language disorders. So evaluation of inflection in these people is important. In this study, methods of verb tense inflection evaluation were compared and the best method was determined. Methods: This study was descriptive-analytical. The participa...
چکیده جنس quercus از خانواده (fagaceae) شامل 7 گونه در ایران است. این گیاهان دارای ارزش اقتصادی و دارویی اند. 3 گونه از این جنس در جنگل های زاگرس توزیع شده اند، در این پژوهش مورد بررسی واقع شده اند: lindl. q. brantii، q. libani oliv ، q. infectoria oliv . در این پژوهش در مجموع 17 واحد جمعیتی، از این گونه ها جمع آوری و بررسی شدند. تنوع ریخت شناسی به روش سنتی و با روشهای هندسی و نیز تنوع ریز ریخ...
extended abstract 1. introduction mazinan, a village and the center of a rural district, is a subdivision of sabzevar city located in the eastern part of razavi-khorasan province. the fact that this village has been mentioned and described as a cultivated town in hodud al-alam men al-mašriq ila l-maqrib (see sotudeh, 1983) written in the10th century a.d. indicates that mazinan is at least15 cen...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید