Kalantari, Seyyed Abolghasem

Student Name:

Email:

Website:

Kalantari, Seyyed Abolghasem

Thesis Title (Latin):

Keywords:

Thesis Title (Persion):

اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر

Download Abstracts:

Abstract (Latin)                     Abstract (Persion)

Supervisor:

Mojtaba Aghaei

 (Assistant. Prof._Mathematical Sciences Department_IUT)

Advisor

Mahmoud Bina Motlagh

(Emeritus Assistant. Prof._ Mathematical Sciences Department_IUT)

Date of Graduation

2002