شماره رکورد

4031

شماره راهنما

4148م

پديد آورنده

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

عنوان مقاله

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

مشخصات ظاهري

19ص.

عنوان نشريه

فرهنگ و انديشه رياضي

وضعيت نشر

انجمن رياضي ايران

سال

1384

ماه

پاييز

شماره سريال

35

صفحه

117 - 99