4 مقاله با این کلمه کلیدی منتشر شده است. کلمه کلیدی : order logic تعداد محقق : 7 مقالات رویدادها : 4 مقاله مقالات ژورنال ها : 0 مقاله تاریخچه تمام جستجوها : 456 جستجو تاریخ انتشار عنوان مقاله رویداد ژورنال محبوبترین مقاله زبان مقاله analytic tableaux for higher-order logic with choice Event : journal of automated reasoning 2013 0 0 833 قیمت : رایگان مشاهده و دریافت مقاله کامل reducing higher-order theorem proving to a sequence of sat problems Event : journal of automated reasoning 2013 0 0 756 قیمت : رایگان مشاهده و دریافت مقاله کامل monotonicity inference for higher-order formulas Event : journal of automated reasoning 2013 0 0 706 قیمت : رایگان مشاهده و دریافت مقاله کامل knowledge and reasoning in design systems Event : automation in construction 0 0 612 قیمت : رایگان مشاهده و دریافت مقاله کامل
مقالات جدیدترین رویدادها استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان) تحلیل ارتعاش تیر غیر منشوری متکی بر شالوده کشسان با استفاده از روش dsc مقایسه اثر تزریق الکل با توکسین بوتولینوم در فلج مغزی بررسی میزان توجه به اصول خود مدیریتی درسازمان و تاثیر برخلاقیت و نوآوری کارکنان نقش انسان محوری (اومانیسم) بر آثار معماری دوره رنسانس اروپا و دوره قاجار ایران improved numerical integration procedure for application to seismic hybrid simulation مقالات جدیدترین ژورنال ها مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان) بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان) مطالعه نقش و تأثیر داده های حسابداری و xbrl برارتقاء پیش بینی حرکات سود تاثیر بازی درمانی شناختی بر عزت نفس و اضطراب مبتلا به اختلال یادگیری بررسی چگونگی اثرگذاری مدیریت مالی الکترونیک بر بازار سرمایه اثربخشی طرح واره درمانی بر تعامل زناشویی و رضایت جنسی مراجعین به مراکز مشاوره خانواده ارائه یک روش جدید بازسازی متون در تصاویر نویزی مبتنی بر الگوریتم های -p نرم و بردار گرادیان