1. مبانی نظریه محاسبات ( نظریه زبان‌ها و ماشین‌ها )
پدیدآورنده : / تالیف هری لویس، کریستوز پاپادیمیترو,لوئیس,Lewis
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,منطق جدید
رده :
QA
۲۶۷
/
ل
۹
م
۲ ۱۳۸۵
2. مباني نظريه محاسبات (نظريه زبان‌ها و ماشين‌ها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: كتابخانه عمومی حضرت مهدی (عج) (لرستان)
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
رده :
511
3-
ل
823
م
3. مباني نظريه محاسبات (نظريه زبان‌ها و ماشين‌ها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو, ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: كتابخانه عمومی آيت الله خامنه اى (قم)
موضوع : منطق رياضي نظريه ماشين منطق رياضي پيچيدگي محاسباتي
رده :
511
3-
ل
823
م
1385
