1. مباني نظريه محاسبات (نظريه زبانها و ماشينها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: كتابخانه عمومی حضرت مهدی (عج) (لرستان)
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
رده :
511
3-
ل
823
م
2. مباني نظريه محاسبات (نظريه زبانها و ماشينها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو, ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: كتابخانه عمومی آيت الله خامنه اى (قم)
موضوع : منطق رياضي نظريه ماشين منطق رياضي پيچيدگي محاسباتي
رده :
511
3-
ل
823
م
1385
3. مباني نظريه محاسبات نظريه زبان ها و ماشين ها
پدیدآورنده : تاليف هري لويس, كريستوز پاپاديميترو, ترجمه حسن تفضلى, فاطمه آقايى
کتابخانه: كتابخانه عمومی دهاقان (آیت الله محمد حسین خرد دهاقانی) (اصفهان)
موضوع : نظريه ماشين منطق رياضى
رده :
511
/3
ل
815
م
4. مباني نظريه محاسبات نظريه زبانها و ماشينها
پدیدآورنده : تاليف هري لوئيس کريستوزپاپاديميترو, ترجمه حسن تفضلي
کتابخانه: كتابخانه عمومی علامه نايينى (اصفهان)
موضوع : نظريه ماشين منطق رياضي
رده :
511
/3
ل
815
م