1. مبانی نظریه محاسبات ( نظریه زبان‌ها و ماشین‌ها )
پدیدآورنده : / تالیف هری لویس، کریستوز پاپادیمیترو,لوئیس,Lewis
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,منطق جدید
رده :
QA
۲۶۷
/
ل
۹
م
۲ ۱۳۸۵
2. مباني نظريه محاسبات (نظريه زبان‌ها و ماشين‌ها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: Public Library of Hazrate Mahdi (Lorestan)
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
رده :
511
3-
ل
823
م
3. مباني نظريه محاسبات (نظريه زبان‌ها و ماشين‌ها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو, ترجمه حسن تفضلي, فاطمه آقايي
کتابخانه: Public Library of Ayatollah Khamenei (Qom)
موضوع : منطق رياضي نظريه ماشين منطق رياضي پيچيدگي محاسباتي
رده :
511
3-
ل
823
م
1385
