|
|
|
|
اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
|
|
|
|
|
|
|
|
نویسنده
|
کلانتری ابوالقاسم ,آقایی مجتبی
|
|
منبع
|
فرهنگ و انديشه رياضي - 1384 - دوره : 24 - شماره : 2 - صفحه:99 -118
|
|
|
|
|
|
|
|
آدرس
|
دانشگاه صنعتی اصفهان, دانشکده ریاضی, ایران, دانشگاه صنعتی اصفهان, دانشکده ریاضی, ایران
|
|
پست الکترونیکی
|
aghaei@cc.iut.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|