6 مقاله با این کلمه کلیدی منتشر شده است. کلمه کلیدی : theorem proving تعداد محقق : 13 مقالات رویدادها : 6 مقاله مقالات ژورنال ها : 0 مقاله تاریخچه تمام جستجوها : 406 جستجو تاریخ انتشار عنوان مقاله رویداد ژورنال محبوبترین مقاله زبان مقاله specification and verification of concurrent programs through refinements Event : journal of automated reasoning 2013 0 0 729 قیمت : رایگان مشاهده و دریافت مقاله کامل smels: satisfiability modulo equality with lazy superposition Event : journal of automated reasoning 2013 0 0 859 قیمت : رایگان مشاهده و دریافت مقاله کامل conjecture synthesis for inductive theories Event : journal of automated reasoning 2013 0 0 842 قیمت : رایگان مشاهده و دریافت مقاله کامل a solution to the poplmark challenge based on de bruijn indices Event : journal of automated reasoning 2013 0 0 952 قیمت : رایگان مشاهده و دریافت مقاله کامل formal power series Event : journal of automated reasoning 2013 0 0 770 قیمت : رایگان مشاهده و دریافت مقاله کامل a list-machine benchmark for mechanized metatheory Event : journal of automated reasoning 2013 0 0 857 قیمت : رایگان مشاهده و دریافت مقاله کامل
مقالات جدیدترین رویدادها استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان) مطالعه مورفومتریک تغییرات حجمی وابسته به سن و جنس هسته پوتامن در افراد سالم با استفاده از تصویربرداری به روش تشدید میدان مغناطیسی مقایسه توجه انتخابی در دو گروه افراد مبتلا و غیرمبتلا به اختلال شخصیت مرزی اثربخشی آموزش ابراز وجود بر افزایش تمایز یافتگی خود در دختران سال اول دبیرستان های اهواز بررسی جایگاه ارزشیابی توصیفی در خلاقیت و یادگیری دانش آموزان an efficient computational algebraic method for convex polynomial optimization مقالات جدیدترین ژورنال ها مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان) بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان) نقش عدالت سازمانی در مدیریت تعاملی و تحولی در دانشگاه آزاد بررسی و تحلیل مصادیق فرض تقصیر در دعاوی مسئولیت مدنی مروری بر جایگاه پژوهشی برند در آژانس های مسافرتی جهان ارزیابی عوامل موثر بر پروژه توسعه اکوتوریسم مطالعه موردی شهر چالوس بررسی تاثیر قابلیت مقایسه صورت های مالی و ریسک سقوط مورد انتظار (مطالعه ای در شرکت های پذیرفته شده در بورس اوراق بهادار تهران)