1. مباني نظريه محاسبات (نظريه زبانها و ماشينها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: Public Library of Hazrate Mahdi (Lorestan)
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
رده :
511
3-
ل
823
م
2. مباني نظريه محاسبات (نظريه زبانها و ماشينها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو, ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: Public Library of Ayatollah Khamenei (Qom)
موضوع : منطق رياضي نظريه ماشين منطق رياضي پيچيدگي محاسباتي
رده :
511
3-
ل
823
م
1385