|
Student Name
Email: Website: |
Akbarifard, Azam
|
|
Thesis Title (Latin) |
Action and Knowledge in Alternating- Time Temporal Logic
|
|
Keywords |
|
|
Thesis Title (Persion) |
مدلهای نظریه مجموعهها با اردینالهای تعریفپذیر |
|
Download Abstracts |
|
|
Supervisor |
(Assistant. Prof._Mathematical Sciences Department_IUT) |
|
Advisor |
(Associate. Prof._ Mathematical Sciences Department_IUT) |
|
Date of Graduation |
2009 |
Grade
Graduated