نویسنده = سید ابوالقاسم کلانتری
تعداد مقالات: 1
1. اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر

دوره 24، شماره 35، پاییز و زمستان 1384، صفحه 99-117

مجتبی آقایی؛ سید ابوالقاسم کلانتری