1. مبانی نظریه محاسبات ( نظریه زبانها و ماشین‌ها )
Author: / تالیف هری لویس، کریستوز پاپادیمیترو,لوئیس,Lewis
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,منطق جدید
Classification :
QA
۲۶۷
/
ل
۹
م
۲ ۱۳۸۵
2. مباني نظريه محاسبات نظريه زبانها و ماشينها
Author: تاليف هري لوئيس کريستوزپاپاديميترو, ترجمه حسن تفضلي
Library: Public Library of Allameh Naini (Esfahan)
Subject: نظريه ماشين منطق رياضي
Classification :
511
/3
ل
815
م
