|
Student Name
Email: Website: |
Salehi, Kobra
|
|
Thesis Title (Latin) |
Combining Linear-Time Temporal Logic with Constructiveness and Paraconsistency
|
|
Keywords |
|
|
Thesis Title (Persion) |
ترکیب منطقهای زمانی ساختی با فراسازگاری |
|
Download Abstracts |
|
|
Supervisor |
(Assistant. Prof._Mathematical Sciences Department_IUT) |
|
Advisor |
(Assistant. Prof._ Mathematical Sciences Department_IUT) |
|
Date of Graduation |
2012 |
Grade
Graduated
