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