اثبات قضيه در منطق هاي زماني به كمك رايانه و كاربر

شماره رکورد
4031
شماره راهنما
4148م
پديد آورنده
كلانتري، ابوالقاسم
عنوان مقاله
اثبات قضيه در منطق هاي زماني به كمك رايانه و كاربر
مشخصات ظاهري
19ص.
عنوان نشريه
فرهنگ و انديشه رياضي
وضعيت نشر
انجمن رياضي ايران
سال
1384
ماه
پاييز
شماره سريال
35
صفحه
117 - 99
لينک به اين مدرک :
http://math.iranlibs.ir/dL/search/default.aspx?Term=4031&Field=0&DTC=10

كلانتري، ابوالقاسم