1 مقاله با این کلمه کلیدی منتشر شده است. کلمه کلیدی : matita تعداد محقق : 4 مقالات رویدادها : 1 مقاله مقالات ژورنال ها : 0 مقاله تاریخچه تمام جستجوها : 556 جستجو تاریخ انتشار عنوان مقاله رویداد ژورنال محبوبترین مقاله زبان مقاله formal metatheory of programming languages in the matita interactive theorem prover Event : journal of automated reasoning 2013 0 0 859 قیمت : رایگان مشاهده و دریافت مقاله کامل
مقالات جدیدترین رویدادها استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان) بررسی اثرات عصاره الکلی هسته خرما بر غلظت گلوکز و چربی خون در موش های صحرایی دیابتی نر ارزیابی اقتصادی ناشی از کاهش وزن و احجام سازه ها با استفاده از بتن سبک در ساختمان بررسی عوامل خطر اقدام به خودکشی در شهرستان اردبیل در نیمه اول سال 1382 simulation of fluid-solid interaction on water ditching of an airplane by ale method effects of particulate reinforcement and heat treatment on the hardness and wear properties of aa 2024-mosi2 nanocomposites مقالات جدیدترین ژورنال ها مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان) بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان) بررسی رابطه بین سبک های یادگیری با خودکارآمدی دانش آموزان هنرستان های فنی و حرفه ای دخترانه شهر اصفهان تحلیل دستیابی به توسعه پایدار با تاکید بر استراتژی توسعه شهری (cds) (مورد مطالعه: شهر چابهار) بررسی تأثیر ساختار مالکیت بر رابطه بین دارایی های نامشهود و حق الزحمه حسابرس در شرکت های پذیرفته شده در بورس اوراق بهادار تهران ضمانت اجرای نقض حقوق شهروندی توسط ضابطین در قانون آئین دادرسی کیفری حفاظت از محیط زیست روستا، راهبردی در راستای توسعه پایدار