شماره ركورد
76774
عنوان مقاله
اثبات قضيه در منطق هاي زماني به كمك رايانه و كاربر
پديد آورندگان
كلانتري ، ابوالقاسم نويسنده , , مجتبي آقايي ، مترجم ,
اطلاعات موجودي
دوفصلنامه سال 1384 شماره 35
رتبه نشريه
فاقد درجه علمي
تعداد صفحه
19
از صفحه
99
تا صفحه
117
كليدواژه
رياضي , رايانه , كاربر , اثبات منطق هاي زماني
سال انتشار
1384
عنوان نشريه
فرهنگ و انديشه رياضي
عنوان نشريه
فرهنگ و انديشه رياضي
اطلاعات موجودي
دوفصلنامه با شماره پیاپی 35 سال 1384
كلمات كليدي
#تست#آزمون###امتحان
لينک به اين مدرک