شماره ركورد

5757

عنوان

مروري بر منطق زماني و كاربردهاي آن

محل نشر

تهران

ناشر

دانشگاه صنعتي شريف ، معاونت پژوهشي ، دانشكده مهندسي كامپيوتر

تاريخ

1376

تعداد صفحه

0